Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)Categorías:
Año:
2007
Edición:
1
Editorial:
Springer-Verlag Berlin Heidelberg
Idioma:
english
Páginas:
395
ISBN 10:
3540697357
ISBN 13:
9783540697350
Serie:
Lecture Notes in Computer Science 4349
Archivo:
PDF, 4.02 MB
IPFS:
,
english, 2007