Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Autor:
Viktor Kuncak, Andrey Rybalchenko
Disponibilitate:
În depozitul extern în cantități mici
Expediem în 9-15 zile
311.87
lei
This book constitutes the refereed proceedings of the 13th International Conference on Verification,...
