Erschienen:
Konstanz: Bibliothek der Universität Konstanz, 2013
Umfang:
Online-Ressource
Sprache:
Englisch
Identifikator:
Entstehung:
Anmerkungen:
Aus: Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / ed. by Roberto Giacobazzi ... - Berlin : Springer, 2013. - S. 248-267. - (Lecture Notes in Computer Science ; 7737). - ISBN 978-3-642-35872-2