Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Format:: e-book
Title:: Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Author:: Cousot, Radhia; Association for Computing Machinery-Digital Library.; Association for Computing Machinery.; Kanade, Takeo; Kittler, Josef
Language:: English
Publisher:: Springer Berlin / Heidelberg 2005
ISBN:: 3-540-24297-X
3-540-30579-3
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000212683?locale=en