Browse by Journal
Jump to: W
Number of items: 1.
W
Woodcock, J. and Cavalcanti, A. (2001) The Steam Boiler in a Unified Theory of Z and CSP. In: Proceedings Eighth Asia-Pacific Software Engineering Conference. IEEE, pp. 291-298. ISBN 0-7695-1408-1. (doi:10.1109/APSEC.2001.991490) (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:13495) |