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

Group by: Item Type | Date | No Grouping

Number of items: 2.

Conference or workshop item

Atiya, Diyaa-Addein and King, Steve and Woodcock, Jim (2003) A Circus semantics for Ravenscar protected objects. In: Araki, K. and Gnesi, S. and Mandrioli, D., eds. LECTURE NOTES IN COMPUTER SCIENCE. SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY pp. 617-635. ISBN 3-540-40828-2. The full text of this publication is not available from this repository.

Miarka, R. and Boiten, E.A. and Derrick, J. (2000) Guards, Preconditions, and Refinement in Z. In: ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users. The full text of this publication is not available from this repository.

This list was generated on Sat May 25 14:22:24 2013 BST.