Registered user since Tue 2 Nov 2021
Name:Mats Heimdahl
Affiliation:University of Minnesota
Personal website:http://www.umsec.umn.edu/directory/mats-heimdahl/
Contributions
| ASE 2021 | Counterexample Guided Inductive Repair of Reactive Contracts How to Get a Job in Academia or Industry | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2021-profile
View general profile
View general profile