BibTeX
@MISC{Hemer02specificationmatching,
author = {David Hemer},
title = {Specification matching of state-based modular components},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available via
Citations
| 237 | Refinement Calculus, A Systematic Introduction - Back, Wright - 1998 |
| 52 | A Discipline of Programming (Prentice-Hall - Dijkstra - 1976 |
| 3 | Reuse of verified design templates - Hemer, Lindsay - 1997 |
| 2 | Compilation of specifications - Fidge - 2001 |
| 1 | Computer-aided programming using formally specified design templates - Hemer - 2002 |
