Julian Rose

Publication Activity (10 Years)

Years Active: 1992-1995
Publications (10 Years): 0

University of the West of England, Bristol, UK (PHD)

Education History

University of the West of England, Bristol, UK

PHD

Publications

Julian Rose
Z - An introduction to formal methods (2nd edn) : Antoni Diller John Wiley, Chichester (1994) £22.50 (1st edn published in 1990) ISBN 0 471 93973 0. Inf. Softw. Technol. 37 (9) (1995)
Julian Rose
A New Rigorous Approach for Modelling and Refining Concurrent Behaviour in JSD Specifications. Struct. Program. 13 (1) (1992)