Three Selected Case Studies in Verification

Authors:
T. Fuchss;Wolfgang Reif;Gerhard Schellhorn;Kurt Stenzel
Affiliations:
-;-;-;-
Venue:
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Year:
1995

Citing 0
Cited 2

KIV 3.0 for Provably Correct Systems

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Problem-solving methods: understanding, description, development, and reuse

Problem-solving methods: understanding, description, development, and reuse

Quantified Score

Hi-index	0.00

Visualization

Abstract