Browse by Journal

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

Number of items: 1.

Cavalcanti, Ana L. C., Woodcock, Jim (2002) A Weakest Precondition Semantics for Circus. In: Proceedings of the Communicating Processing Architectures 2002. . IOS Press ISBN 4-274-90539-X. (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) (KAR id:13677)

This list was generated on Wed Dec 25 00:00:02 2024 GMT.