Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gravell, Andrew M. - School of Electronics and Computer Science, University of Southampton
Executing Formal Specifications Need Not Be Andy Gravell and Peter Henderson
Common Errors In Z Speci\Thetacations
What is a Good Formal Specification? Andrew Gravell
Simpler Laws for the Introduction of Loops Andrew M Gravell
actinf manuscript No. (will be inserted by the editor)
University of Southampton A First Order Refinement Calculus
The Case for Total Programming Andrew M Gravell, University of Southampton, April 1997
Abbreviating Z Andrew M Gravell
Logical Refinement of Imperative Programs: generating code from verified conditions
