The calculus &lgr;&pgr;

Authors:
L. M. G. Feijs
Affiliations:
-
Venue:
Algebraic methods: theory, tools and applications
Year:
1989

Citing 0
Cited 2

Components, Contracts, and Connectors for the Unified Modelling Language UML

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Modal logics for reasoning about object-based component composition

IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract