Skip to main navigation
Skip to search
Skip to main content
English
Deutsch
Home
Persons
Research Units
Research Outputs
Projects
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
FMCO 2008, Symposium on Formal Methods for Components and Objects, 2008
Aichernig, B.
(Speaker)
Institute of Software Technology (7160)
Activity
:
Talk or presentation
›
Talk at conference or symposium
›
Science to science
Description
Talk: Testing Concurrent Objects
Period
23 Oct 2008
Event title
FMCO 2008, Symposium on Formal Methods for Components and Objects, 2008
Event type
Conference