Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)Catégories:
Année:
2012
Edition:
1
Editeur::
Springer-Verlag Berlin Heidelberg
Langue:
english
Pages:
457
ISBN 10:
3642331254
ISBN 13:
9783642331251
Collection:
Lecture Notes in Computer Science 7460 : Programming and Software Engineering
Fichier:
PDF, 5.79 MB
IPFS:
,
english, 2012