Correctness of Generic Modules

Authors:
Wolfgang Reif
Affiliations:
-
Venue:
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Year:
1992

Citing 0
Cited 3

VSE: Controlling the Complexity in Formal Software Developments

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A software architecture for knowledge-based systems

The Knowledge Engineering Review
Problem-solving methods: understanding, description, development, and reuse

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

Quantified Score

Hi-index	0.00

Visualization

Abstract