1989
Report
Title

Supporting formal program developments

Title Supplement
The DEVA environment
Author(s)
Jähnichen, S.
Gabriel, R.
Weber, M.
Anlauff, M.
Publisher
Publishing Place
Berkeley, Calif.
Language
English