CRYSTAL - Critical Systems Engineering Factories

Activities

Activities per year 2015 2015 2016 2019 2019

• 2 Invited talk
• 1 Talk at workshop, seminar or course

Activities per year

Search results

• Programming Behavioral Test Models for SMT Solving in Scala

  Aichernig, B. (Speaker)

  22 Apr 2019

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Celebration Event for Frank de Boer's 60th Birthday

  Aichernig, B. (Speaker)

  3 Apr 2016

  Activity: Talk or presentation › Invited talk › Science to science

• SQAMIA 2015, 4th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications 8-10 June, 2015,

  Aichernig, B. (Speaker)

  10 Jun 2015

  Activity: Talk or presentation › Invited talk › Science to science