Languages
Jump To : Overview | Titles | Subjects

Titolo, Laura.

Overview
Works: 0 works in 1 publications in 1 languages
Titles
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Titolo, Laura.; SpringerLink (Online service); Cimatti, Alessandro. (Language materials, printed)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by: Titolo, Laura.; Muñoz, César A.; Perez, Ivan.; SpringerLink (Online service); Dutle, Aaron.; Moscato, Mariano M. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by: Perez, Ivan.; SpringerLink (Online service); Dutle, Aaron.; Moscato, Mariano M.; Titolo, Laura.; Muñoz, César A. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login