Charles Rattray profile picture

Charles Rattray

Algebraic Methodology and Software Technology
Theories And Experiences For Real-time System Development
Algebraic Methodology and Software Technology (Workshops in Computing)
Algebraic Methodology and Software Technology (AMAST’93) Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Algebraic Methodology and Software Technology (Workshops in Computing)
Algebraic Methodology and Software Technology (AMAST’93) Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Specification and Verification of Concurrent Systems
Specification and Verification of Concurrent Systems
Theories and Experiences for Real-time System Development
Algebraic Specification for Practical Software Production
Topical Building The Work of Hugh Cullum Architects