Skip to content

Formal Modeling of the Enterprise JavaBeans

Joo Pedro Sousa, David Garlan

VenueBFM
Year1999
ProceedingsWorld Congress on Formal Methods

Browse the full FM paper archive.