Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Paolo Masci
conf.researchr.org general profile
ICSE 2019 profile
PLDI 2022 profile
Not registered as user
Name:
Paolo Masci
Affiliation:
National Institute of Aerospace, USA
Contributions
2022
SOAP
Author of Towards an Implementation of Differential Dynamic Logic in PVS within the SOAP 2022-track
2019
FormaliSE
Committee Member in Program Committee within the FormaliSE 2019-track
Share
x
Sun 22 Dec 02:01