Segui
Horace Blanc
Horace Blanc
Université Paris Cité
Email verificata su etu.u-paris.fr
Titolo
Citata da
Citata da
Anno
Spread of awareness of COVID-19 between December 2019 and March 2020 in France
H Blanc, E Rothier Bautzer, N Vellut, VT Tran
Scientific Reports 14 (1), 6850, 2024
2024
Formalizing Functions as Processes
B Accattoli, H Blanc, CS Coen
14th International Conference on Interactive Theorem Proving (ITP) 2023,, 2023
2023
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–2