Byron Cook; Andreas Podelski (Hrsg). Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings. Berlin: Springer 2007 S. 346 - 362

Erscheinungsjahr: 2007

ISBN/ISSN: 978-3-540-69735-0

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/978-3-540-69738-1_25

Volltext über DOI/URN