Collaborative Verification and Testing with Explicit Assumptions

Thumbnail
Metadata only
Author
Christakis, Maria
Müller, Peter
Wüstholz, Valentin
Date
2012
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Giannakopoulou, Dimitra
Méry, Dominique
Book title
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
Journal / series
Lecture Notes in Computer Science
Volume
7436
Pages / Article No.
132 - 146
Publisher
Springer
Event
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012
Organisational unit
03653 - Müller, Peter / Müller, Peter  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics