Registered user since Mon 5 Jul 2021
Name:Allison Sullivan
Country:United States
Affiliation:University of Texas at Arlington
Personal website:https://allisonius.github.io/
Contributions
| FormaliSE 2022 | Towards Automated Input Generation for Sketching Alloy Models | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2022-profile
View general profile
View general profile