Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Full text!
Format:
e-book
Title:
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author:
Kroening; Păsăreanu, Corina S.
Language:
English
Publisher:
Springer International Publishing 2015
ISBN:
3-319-21667-8
3-319-21668-6
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000454202?locale=en