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.

Book section

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 available from this repository)

Monograph

Meira, Silvio Lemos (1991) Modular Extensions to Z. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not available from this repository)

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 available from this repository)

Conference or workshop item

Meira, Silvio Lemos and Cavalcanti, Ana L. C. (1990) Modular Object-Oriented Z Specifications. In: Z User Workshop. (The full text of this publication is not available from this repository)

Cavalcanti, Ana L. C. and Meira, Silvio Lemos (1989) Denotational Models of Software Systems. In: 9th Conference of the Brazilian Computer Society. (The full text of this publication is not available from this repository)

This list was generated on Tue Sep 30 20:56:33 2014 BST.