Abstraction and Refinement in RDM.
Donald L. Boyd, Antonio Pizzarello, William T. Wood
VenueBFM
Year1979
ProceedingsThe Use of Formal Specification of Software
DBLP recordconf/fm/BoydPW79a ↗
Browse the full FM paper archive.
Donald L. Boyd, Antonio Pizzarello, William T. Wood
Browse the full FM paper archive.