Dunstan, MN.,
Kelsey, T. W.,
Linton, S. A. & Martin, U.,
1999,
Proceedings of Formal Methods 1999. Springer-Verlag,
p. 1758-1777 (Lecture Notes in Computer Science; vol. 1709).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
