Metadata only
Author
Gehr, Timon
Misailovic, Sasa
Vechev, Martin
Date
2016Type
- Conference Paper
Publication status
publishedEditor
Chaudhuri, Swarat
Farzan, Azadeh
Book title
Computer Aided VerificationJournal / series
Lecture Notes in Computer ScienceVolume
Pages
Publisher
SpringerEvent
Organisational unit
03948 - Vechev, Martin
More
Show all metadata