Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: D

Number of items: 1.

D

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1997) Translating LOTOS to Object-Z. In: Duke, David J. and Evans, A.S., eds. 2nd BCS-FACS Northern Formal Methods Workshop. Workshops in Computing . Springer-Verlag ISBN 3-540-76215-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Sun Sep 8 22:44:04 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0