Activities per year
Activities
- 1 Talk at workshop, seminar or course
- 1 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