TY  - BOOK
AU  - Jähnichen,Stefan
TI  - Rigorous analysis and design for software intensive systems: 07.11.1999 - 12.11.1999 (99451)
T2  - Seminar-Report / Internationales Begegnungs- und Forschungszentrum für Informatik, Geschäftsstelle Schloß Dagstuhl
PY  - 2000///
CY  - Wadern
PB  - IBFI
KW  - Konferenzschrift
KW  - gnd-content
ER  -