Elspeth Cusack and University - Free people check

(1 - 12 from 12

)

DBLife: Elspeth Cusack News Archive

dblife.cs.wisc.edu

Elspeth Cusack - News Archive Return to Elspeth Cusack's Superhomepage. No news available Developed by the Database Group at the University of Wisconsin and Yahoo!

DBLife: Elspeth Cusack

dblife.cs.wisc.edu

from DBLP and Google Scholar. Developed by the Database Group at the University of Wisconsin and Yahoo!

Alan Camina - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Name School Year Descendants; Elspeth Cusack: University of East Anglia: 1979: David Davies: University of East Anglia: 1987: Paola Iannone: University of East Anglia

Specification and Verification of Concurrent Systems - Google Books

books.google.de

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University...

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User...

books.google.de

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from June The papers cover a wide range of...

VDM '91. Formal Software Development Methods. 4th International...

books.google.co.uk

[Cus90] Elspeth Cusack. Refinement, Conformance and Inheritance. Workshop on the Theory and Practice of Refinement, Open University, August

Forum for Academic Software Engineering Volume 4, Number ...cstl-csm.semo.edu › dbagert › fase › archive

cstl-csm.semo.edu

... Fax: + Programme Committee Jonathan Bowen, Oxford University, UK Stephen Brien, Oxford University, UK Elspeth Cusack, ...

Object-oriented specification in LOTOS and Z, or my cat really is...

link.springer.com

Elspeth Cusack,; Michael Lai … show all 2 hide ... Elspeth Cusack, Refinement, conformance and inheritance, BCS Workshop on Refinement, Open University, ...