FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Allison Sullivan

Registered user since Wed 16 Jan 2019

Name:Allison Sullivan
Affiliation:The University of Texas at Arlington
Research interests:Software engineering, software testing, formal methods, programming languages

Contributions

Show activities from other conferences

Using general profile