C.A. Micchelli, W.L. Miranker
Journal of the ACM
Conference paper
Object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications
Abstract
No abstract available.
Related
Saurabh Paul, Christos Boutsidis, et al.
JMLR
Joxan Jaffar
Journal of the ACM
Sandeep K. Singhal, Binh Q. Nguyen, et al.
OOPSLA 1997