Object-oriented specification in VDM++

Authors:
Swapan Mitra
Affiliations:
-
Venue:
Object-oriented specification case studies
Year:
1994

Citing 0
Cited 2

Behavioral interface specification languages

ACM Computing Surveys (CSUR)
Object-oriented operations have two parts

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract