Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 274
Ft
This book constitutes the refereed proceedings of the 14th International Conference on Verification,...
