Abstract model specifications for data abstractions

Authors:
Valdis Andris Berzins
Affiliations:
-
Venue:
Abstract model specifications for data abstractions
Year:
1979

Citing 0
Cited 3

Synthesizing abstract data type specifications

ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
PVS - design for a practical verification system

ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Towards a practical specification language

ACM '81 Proceedings of the ACM '81 conference

Quantified Score

Hi-index	0.00

Visualization

Abstract