Collaborative Verification and Testing with Explicit Assumptions
Metadata only
Date
2012Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Editor
Book title
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedingsJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Organisational unit
03653 - Müller, Peter / Müller, Peter
More
Show all metadata
ETH Bibliography
yes
Altmetrics