Writing Simulatable Specifications in SPECIAL

Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg. Writing Simulatable Specifications in SPECIAL. In Helmut K. Berg, Wolfgang K. Giloi, editors, The Use of Formal Specification of Software, June 25-27, 1979, Berlin. Volume 36 of Informatik-Fachberichte, pages 39-78, Springer, 1979.

Abstract

Abstract is missing.