Hilscher, M.,
Linker, S., Olderog, E.-R. & Ravn, A. P.,
2011,
Formal Methods and Software Engineering: Proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011. Qin, S. & Qiu, Z. (eds.). Berlin:
Springer,
p. 404-419 16 p. (Lecture Notes in Computer Science; vol. 6991).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review