Lucia Nasti -

Registered user since Tue 20 Oct 2020

Name:Lucia Nasti

Country:Italy

Affiliation:Università di Pisa - Dipartimento di Informatica

Personal website: http://pages.di.unipi.it/nasti/

Contributions

2021

FormaliSE

Author of Formal characterization and efficient verification of a biological robustness property within the FormaliSE 2021-track
Social Media Chair in Organizing Committee within the FormaliSE 2021-track