Not registered as user yet
Name:Stephen McCamant
Affiliation:University of Minnesota, USA
Personal website:http://www-users.cs.umn.edu/~mccamant/
Contributions
FormaliSE 2022 | Counterexample-Guided Inductive Repair of Reactive Contracts | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2022-profile
View general profile
View general profile