Specification of Object-Oriented Systems in LOTOS

Authors:
Thomas Mayr
Affiliations:
-
Venue:
Proceedings of the First International Conference on Formal Description Techniques
Year:
1988

Citing 0
Cited 2

The Larch/Smalltalk interface specification language

ACM Transactions on Software Engineering and Methodology (TOSEM)
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)

ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract