FMCO 2008, Symposium on Formal Methods for Components and Objects, 2008

Aichernig, B. (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Testing Concurrent Objects
Period23 Oct 2008
Event titleFMCO 2008, Symposium on Formal Methods for Components and Objects, 2008
Event typeConference