Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9780Publisher: Cham : Springer, 2016Description: Online-Ressource (XVII, 521 p. 126 illus, online resource)ISBN:- 9783319415406
- QA76.9.L63 QA76.5913 QA76.63
- QA76.9.L63
- QA76.5913
- QA76.63
No physical items for this record