MetadatenAuthor: | Peter Pepper, Martin Wirsing, Ralph Betschko, Manfred Broy, Sabine Dick, Klaus Didrich, Joachim Faulhaber, Wolfgang Grieskamp, Heinrich Hußmann, Michael Mehlich, Wolfgang ReifORCiDGND, Martin Beyer, Stefan Gastinger, Maritta Heisel, Friedrich von Henke, Liu Junbo, Bernd Krieg-Brückner, Thomas Santen, Gerhard SchellhornORCiDGND, Oscar Slotosch, Kurt StenzelGND, Martin Strecker, Nikolas Vlachantonis, Burkhart Wolff |
---|
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/60761 |
---|
ISBN: | 9783540605898OPAC |
---|
ISBN: | 9783540478027OPAC |
---|
ISSN: | 0302-9743OPAC |
---|
ISSN: | 1611-3349OPAC |
---|
Parent Title (English): | KORSO: methods, languages, and tools for the construction of correct software: final report |
---|
Publisher: | Springer |
---|
Place of publication: | Berlin [u.a.] |
---|
Editor: | Manfred Broy, Stefan Jähnichen |
---|
Type: | Part of a Book |
---|
Language: | English |
---|
Year of first Publication: | 1995 |
---|
Release Date: | 2019/08/27 |
---|
First Page: | 25 |
---|
Last Page: | 57 |
---|
Series: | Lecture Notes in Computer Science ; 1009 |
---|
DOI: | https://doi.org/10.1007/bfb0015454 |
---|
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 |
---|