ISSE

Search

LEX: a case study in development and validation of formal specifications

A. Heckler, R. Hettler, H. Hußmann, J. Loeckx, W. Reif, G. Schellhorn, and K. Stenzel

LEX: a case study in development and validation of formal specifications

published 1996 in: Fachbereich Informatik, Universität Saarbrücken Technical Report A/06/96