Nov 04, 2010: Wolfgang Ahrendt: Compositional Verification of Distributed Objects with Asynchronous Method Calls

November 04, 2010Compositional Verification of Distributed Objects with Asynchronous Method Calls
Room: Zi 5126Wolfgang Ahrendt
12:30-13:30