SOFSPEC: A pragmatic approach to automated specification verification

Erika Nyari. SOFSPEC: A pragmatic approach to automated specification verification. In Harry M. Sneed, Hans-Rüdiger Wiehle, editors, Software-Qualitätssicherung, Tagung I/1982 des German Chapter of the ACM am 25. und 26.3.1982 in Neubiberg bei München. Volume 9 of Berichte des German Chapter of the ACM, pages 173-187, Teubner, 1982.

Abstract

Abstract is missing.