Public Defence of Johannes Erikssons Doctoral Thesis

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

Description

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