Bryans, J.,
Blair, L.,
Bowman, H. &
Derrick, J.,
1/12/2000,
Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings. Springer,
p. 176-193 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1945 LNCS).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review