Seven Years of COMPASS

Authors:
Bernd Krieg-Brückner
Affiliations:
-
Venue:
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Year:
1995

Citing 0
Cited 3

CASL: the common algebraic specification language

Theoretical Computer Science
UniForM Perspectives for Formal Methods

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
The UniForM Workbench, a Universal Development Environment for Formal Methods

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II

Quantified Score

Hi-index	0.00

Visualization

Abstract