Login
Admin
Simple search
|
Advanced search
Home
Browse
Latest additions
Help
Contact
Browse by Person (creator, editor, contributor, etc.)
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
|
No Grouping
Jump to:
Article
Number of items:
2
.
Article
Wing, JM
and
Woodcock, J.C.P.
(2000)
Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems.
IEEE Transactions on Software Engineering, 26 (8). pp. 673-674. ISSN 0098-5589. The full text of this publication is not available from this repository.
Wing, JM
and
Woodcock, J.C.P.
(2000)
Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems.
Formal Methods in System Design, 17 (3). pp. 199-200. ISSN 0925-9856 . The full text of this publication is not available from this repository.
This list was generated on
Fri May 24 18:53:18 2013 BST
.
