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.)Категорії:
Рік:
2012
Видання:
1
Видавництво:
Springer-Verlag Berlin Heidelberg
Мова:
english
Сторінки:
457
ISBN 10:
3642331254
ISBN 13:
9783642331251
Серії:
Lecture Notes in Computer Science 7460 : Programming and Software Engineering
Файл:
PDF, 5.79 MB
IPFS:
,
english, 2012