Public Defence of Johannes Erikssons Doctoral Thesis

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Tool-Supported Invariant-Based Programming, Research Context: Correct Software (Opponent presentation)
Period17 Aug 2010
Held atPublic Defence of Johannes Erikssons Doctoral Thesis
Event typeConference