ETAPS 2019 (series) / Paola Spoletini
![Paola Spoletini](https://conf.researchr.org/getProfileImage/paolaspoletini/d0223105-ec8d-4276-ad97-3d2d8b69a27b/small.jpg?1711458798000)
Registered user since Thu 16 Nov 2017
Name:Paola Spoletini
Country:United States
Affiliation:Kennesaw State University
Personal website: http://ksuweb.kennesaw.edu/~pspoleti/
Research interests:Formal methods, model checking, requirements engineering
Contributions
ETAPS 2019-profile
View general profile
View general profile