Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 3.

Article

Boiten, Eerke.A. and Derrick, John and Smith, Graeme (2005) Editorial: Special issue on Integrated Formal Methods. Formal Aspects of Computing, 17 (4). ISSN 0934-5043. The full text of this publication is not available from this repository.

Conference or workshop item

Bujorianu, Marius.C. and Boiten, Eerke.A. (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology. LNCS, 3116. Springer pp. 57-71. ISBN 3-540-22381-9 . The full text of this publication is not available from this repository.

UNSPECIFIED (2004) Integrated Formal Methods, 4th International Conference. In: Boiten, Eerke.A. and Derrick, John and Smith, Graeme, eds. Integrated Formal Methods. Lecture Notes in Computer Science, 2999. Springer-Verlag ISBN 3-540-21377-5. The full text of this publication is not available from this repository.

This list was generated on Tue May 8 14:49:26 2012 BST.