Sign in

A Verification System for Distributed Objects with Asynchronous Method Calls.

Wolfgang AhrendtMaximilian Dylla
Published in: ICFEM (2009)
Keyphrases