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