A survey of the project CIP - computer-aided, intuition-guided programming
| Author: | Bernhard MöllerGND |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/16228 |
| ISBN: | 3-7785-1983-2OPAC |
| Parent Title (German): | Sichere Software: formale Spezifikation und Verifikation vertrauenswürdiger Systeme; Tagung der Zentralstelle für Sicherheit in der Informationstechnik Bonn, 27. - 28.11.1989 |
| Publisher: | Hüthig |
| Place of publication: | Heidelberg |
| Editor: | Heinrich Kersten |
| Type: | Part of a Book |
| Language: | English |
| Year of first Publication: | 1990 |
| Release Date: | 2017/07/21 |
| First Page: | 280 |
| Last Page: | 298 |
| 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 Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme |
