Kattenbelt, M.,
Kwiatkowska, M.,
Norman, G. &
Parker, D.,
2009,
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, ND. & Muller-Olm, M. (eds.).
Springer,
p. 182-197 (Lecture Notes in Computer Science ; vol. 5403).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)