Lucia Nasti - MSR 2021

Write a Blog >>

Mon 17 - Wed 19 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