Additional Metadata
THEME Software (theme 1)
Publisher Springer
Series Lecture Notes in Computer Science
Conference International Symposium on Formal Methods for Components and Objects
Citation
Steffen, M, Gruner, S, Abraham, E, Bonsangue, M.M, & de Boer, F.S. (2005). Observability, connectivity, and replay in a sequential calculus of classes. In Proceedings of Formal Methods for Components and Objects 2004 (pp. 301–321). Springer.