Treffer: Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique

Title:
Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique
Authors:
Lee, Ji-Hyun, Yoo, Cheol-Jung, Chang, Ok-Bae
Source:
ACM SIGPLAN Notices. 37(6):82-92
Availability:
http://dl.acm.org/doi/10.1145/571727.571738
Database:
ACM Full-Text Collection