Skip to main navigation
Skip to search
Skip to main content
Tampere University Research Portal Home
Help & FAQ
English
Suomi
Home
Profiles
Research units
Research output
Activities
Datasets
Research Infrastructures
Press/Media
Prizes
Search by expertise, name or affiliation
Software Verification with Next Generation DisCo Specifications
Nummenmaa, T.
(Speaker)
Activity
:
Talk or presentation
›
Conference presentation
Description
Contributors: Nummenmaa Timo
Period
22 Aug 2012
Event title
Software Quality Management 2012
Event type
Other
Degree of Recognition
International
X