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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 2.

Article

Bowman, H. and Derrick, J. and Brinksma, E. (2000) Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. (The full text of this publication is not available from this repository)

Bowman, H. and Derrick, J. and Brinksma, E. (2000) Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997. Ieee Transactions on Software Engineering, 26 (7). pp. 577-578. ISSN 0098-5589. (The full text of this publication is not available from this repository)

This list was generated on Fri Apr 18 11:54:14 2014 BST.