Programming Behavioral Test Models for SMT Solving in Scala

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Period22 Apr 2019
Event titleWorkshop on Advances in Model Based Testing
Event typeWorkshop
Conference number15
LocationXi'an, China
Degree of RecognitionInternational