Publications

Found 1 results
Author Title Type [ Year(Desc)]
Filters: Author is Matthias Anlauff  [Clear All Filters]
1989
Jähnichen, S., Gabriel R., Weber M., & Anlauff M. (1989).  Supporting Formal Program Developments: the DEVA Environment.