First International Workshop on Property Verification for Software Components and Services, ProVeCS, ETH, Zürich, June 24th, 2007 (Satellite of TOOLS Europe)
Open access
Author
Date
2007-06Type
- Report
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-006788160Publication status
publishedJournal / series
Technical Report / ETH Zurich, Department of Computer ScienceVolume
Publisher
ETH, Department of Computer Science, Computer Systems InstituteEvent
Subject
VERIFICATION (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); Software Reusability; VERIFIKATION (SOFTWARE ENGINEERING); Verification; OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); Object-oriented programming; SOFTWAREWIEDERVERWENDUNG + KOMPONENTENBASIERTE SOFTWAREENTWICKLUNG (SOFTWARE ENGINEERING); SOFTWARE REUSABILITY + SOFTWARE REUSE + COMPONENT-BASED SOFTWARE DESIGN (SOFTWARE ENGINEERING)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Technical Reports D-INFK.More
Show all metadata
ETH Bibliography
yes
Altmetrics