Unterstützung eines korrektheitszentrierten Entwurfs von Informationssystemen
| author/s: | Stefan Conrad |
| type: | Inproceedings |
| editor: | G. Lausen |
| booktitle: | Datenbanksysteme in Büro, Technik und Wissenschaft (BTW'95) |
| publisher: | Springer-Verlag, Informatik aktuell |
| pages: | 150-159 |
| month: | March |
| year: | 1995 |
E-Mail senden