KORSO: das Verbundprojekt “Korrekte Software”
| Author: | Heinrich Hußmann, Jacques Loeckx, Wolfgang ReifORCiDGND |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/60770 |
| ISBN: | 9783540571926OPAC |
| ISBN: | 9783642784866OPAC |
| ISSN: | 1431-472XOPAC |
| Parent Title (German): | Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung, Dresden, 27. September – 1. Oktober 1993 |
| Publisher: | Springer |
| Place of publication: | Berlin |
| Editor: | Horst Reichel |
| Type: | Part of a Book |
| Language: | German |
| Year of first Publication: | 1993 |
| Release Date: | 2019/08/27 |
| First Page: | 266 |
| Last Page: | 271 |
| Series: | Informatik aktuell |
| DOI: | https://doi.org/10.1007/978-3-642-78486-6_42 |
| 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 |
