KORSO - Methods, Languages, and Tools for the Construction of Correct Software

Authors:
Manfred Broy;Stefan Jähnichen
Affiliations:
-;-
Venue:
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Year:
1995

Citing 0
Cited 1

Enriching the Software Development Process by Formal Methods

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract