Activities per year
Activities
Search results
-
Tool-Supported Invariant-Based Programming
Bernhard Aichernig (Agent)17 Aug 2010Activity: Examination or supervision › External examination