Verification of coordinated exception handling /
Castor Filho, F.(Fernando)
Romanovsky, Alexander,1954-
Rubira, Cecília Mary Fischer.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : Computing Science, University of Newcastle upon Tyne,
c2005.
"September 2005."
Includes bibliographical references.