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.)年:
2007
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
395
ISBN 10:
3540697357
ISBN 13:
9783540697350
系列:
Lecture Notes in Computer Science 4349
文件:
PDF, 4.02 MB
IPFS:
,
english, 2007