ASSO: behavioral specialization modelling

Authors:
Rosanna Andolina;Elvira Locuratolo
Affiliations:
-;-
Venue:
Information modelling and knowledge bases VIII
Year:
1998

Citing 0
Cited 2

Formal Development of Databases in ASSO and B

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Translating structured database schemas into abstract machines

IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract