Entwicklung korrekter Systeme
Dr. Stephan Rössig
| Stephan Rössig promovierte im Oktober 1994 in der Abteilung Semantik mit der Dissertation ``A Transformational Approach to the Design of Communicating Systems'', die als Bericht Nummer 4/94 des Fachbereichs Informatik erhältlich ist. |
|
|
|