Formal software development in the KIV system

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:M. Heisel, Wolfgang ReifORCiDGND, W. Stephan
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/60776
ISBN:9780262620802OPAC
Parent Title (English):Automating software design
Publisher:AAAI press
Place of publication:Menlo Park, Calif. [u.a.]
Editor:Michael R. Lowry, Robert D. McCartney
Type:Part of a Book
Language:English
Year of first Publication:1991
Release Date:2019/08/27
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