KORSO: das Verbundprojekt “Korrekte Software”

Metadaten
Author:	Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif ORCiD GND
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
Publishing Institution:	Universität Augsburg
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

Open Access