Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Autor:
Viktor Kuncak, Andrey Rybalchenko
Dostępność:
Dostępna u dostawcy w małych ilościach
Wysyłamy za 9-15 dni
241.92
zł
This book constitutes the refereed proceedings of the 13th International Conference on Verification,...
