Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compositional reasoning about shared futures
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
| Hi-index | 0.00 |