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 |
