Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 5.

Meira, Silvio Lemos and Cavalcanti, Ana L. C. and Santos, CĂ„ssio Souza (1994) The Unix Filing System: A MooZ Specification. In: Lano, Kevin and Haughton, Howard, eds. Object Oriented Specification Case Studies. Prentice-Hall, pp. 80-109. (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)

Meira, Silvio Lemos (1991) Modular Extensions to Z. Technical report. UKC, University of Kent, Canterbury, 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)

Meira, Silvio Lemos (1991) On the Use of Structured Inductive Semantics in Source-to-Source Translation of Programming Languagues. Technical report. UKC, University of Kent, Canterbury, 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)

Meira, Silvio Lemos and Cavalcanti, Ana L. C. (1990) Modular Object-Oriented Z Specifications. In: Nicholls, JE, ed. Z User Workshop. Springer-Verlag, Oxford, UK pp. 173-192. (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)

Cavalcanti, Ana L. C. and Meira, Silvio Lemos (1989) Denotational Models of Software Systems. In: 9th Conference of the Brazilian Computer Society. pp. 187-204. (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)

This list was generated on Tue Apr 16 21:06:47 2019 BST.