Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Autor:
Byron Cook, Andreas Podelski
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
217.33
zł
The book constitutes the refereed proceedings of the 8th International Conference on Verification, M...
