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

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

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