Supporting formal program developments: the DEVA environment
Supporting formal program developments: the DEVA environment
Stefan Jähnichen ...
- 15 S. Ill.
- TR / International Computer Science Institute 89,53 .
- 1989053 .
- International Computer Science Institute Berkeley, Calif. TR / International Computer Science Institute 1989053 .
- .