Writing Simulatable Specifications in SPECIAL.
Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg
VenueBFM
Year1979
ProceedingsThe Use of Formal Specification of Software
DBLP recordconf/fm/LevittRS79 ↗
Browse the full FM paper archive.
Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg
Browse the full FM paper archive.