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

Type:

e-book

Titel:

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

Auteur:

Kroening; Păsăreanu, Corina S.

Taal:

Engels

Uitgever:

Springer International Publishing 2015

ISBN:

3-319-21689-9
3-319-21690-2

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000454204