LEX: a case study in development and validation of formal specifications
Author: | Andreas Ramses Heckler, Rudolf Hettler, Heinrich Hussmann, Jacques Loeckx, Wolfgang ReifORCiDGND, Gerhard SchellhornORCiDGND, Kurt StenzelGND |
---|---|
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/60754 |
Type: | Report |
Language: | English |
Year of first Publication: | 1996 |
Release Date: | 2019/08/26 |
Issue: | 06/96 |
Series: | Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes |
DOI: | https://doi.org/10.22028/D291-25803 |
Institutes: | Fakultät für Angewandte Informatik |
Fakultät für Angewandte Informatik / Institut für Informatik | |
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik |