Browse by Person (creator, editor, contributor, etc.)
Number of items: 4. Article
|
Bowman, H.
(2001)
Formal Methods Elsewhere.
Electronic Notes in Theoretical Computer Science, 43
.
162-163 .
ISSN 1571-0661.
The full text of this publication is not available from this repository.
|
|
Conference or workshop item
This list was generated on Wed May 22 10:56:12 2013 BST.
|