A method for the development of correct software

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: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 SchellhornGND, Oscar Slotosch, Kurt StenzelGND, Martin Strecker, Nikolas Vlachantonis, Burkhart Wolff
Frontdoor URLhttps://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