Browse by Journal
Jump to: M
Number of items: 1.
M
Meira, Silvio Lemos, Cavalcanti, Ana L. C. (1990) Modular Object-Oriented Z Specifications. In: Nicholls, JE, ed. Z User Workshop. . pp. 173-192. Springer-Verlag, Oxford, UK (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:20961) |