Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Type:: e-book
Titel:: Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Auteur:: Jhala, Ranjit; Association for Computing Machinery-Digital Library.; Kanade, Takeo; Schmidt, David; Kittler, Josef
Taal:: Engels
Uitgever:: Springer Berlin Heidelberg 2011
ISBN:: 3-642-18274-7
3-642-18275-5
Onderwerp:: Information Technology Computer Science (Hardware & Networks)
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000064757