Martin Wirsing;Rolf Hennicker;Ruth Breu
-;-;-
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications