Lucia Nasti - WAIN'21

Sun 30 - Mon 31 May 2021

co-located with ICSE 2021

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

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

Show activities from other conferences

ICSE 2021-profile
View general profile