Activities per year
- 3 results
Search results
-
Programming Behavioral Test Models for SMT Solving in Scala
Bernhard Aichernig (Speaker)
22 Apr 2019Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Celebration Event for Frank de Boer's 60th Birthday
Bernhard Aichernig (Speaker)
3 Apr 2016Activity: Talk or presentation › Invited talk › Science to science
-
SQAMIA 2015, 4th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications 8-10 June, 2015,
Bernhard Aichernig (Speaker)
10 Jun 2015Activity: Talk or presentation › Invited talk › Science to science