Generic Development Language Deva: Presentation and Case Studies

Authors:
Matthias Weber;Martin Simons;Christine Lafontaine
Affiliations:
-;-;-
Venue:
Generic Development Language Deva: Presentation and Case Studies
Year:
1993

Citing 0
Cited 1

Cooperation of Formal Methods in an Engineering Based Software Development Process

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract