ECOOP and ISSTA 2021 (series) / Marie Farrell
Registered user since Wed 1 Mar 2023
Name:Marie Farrell
Affiliation:University of Liverpool
Personal website:https://cgi.csc.liv.ac.uk/~marie/
Contributions
| FTfJP 2021 | Using Dafny to Solve the VerifyThis 2021 Challenges | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile