Normand Buckle

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1977

1 Normand Buckle: Restricted Data Types, Specification and Enforcement of Invariant Properties of Variables. Language Design for Reliable Software 1977: 68-76