Languages
Jump To : Overview | Titles | Subjects

Marmsoler, Diego.

Overview
Works: 0 works in 1 publications in 1 languages
Titles
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by: Delmas, David.; Guidotti, Riccardo.; Marmsoler, Diego.; Oliveira, José N.; Farrell, Marie.; Campos, José.; Cerone, Antonio.; Couto, Luis.; Monteiro, Pedro.; Ratiu, Daniel.; Moreira, Nelma.; Kutrib, Martin.; Gonnord, Laure.; Astarte, Troy.; Dongol, Brijesh.; Luckcuck, Matt.; SpringerLink (Online service); Sekerinski, Emil. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal aspects of component software = 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings / by: SpringerLink (Online service); Sun, Meng.; Marmsoler, Diego.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by: Marmsoler, Diego.; Oliveira, José N.; Guidotti, Riccardo.; Delmas, David.; Couto, Luis.; Campos, José.; Cerone, Antonio.; Farrell, Marie.; Astarte, Troy.; Dongol, Brijesh.; Gonnord, Laure.; Moreira, Nelma.; Kutrib, Martin.; Monteiro, Pedro.; Ratiu, Daniel.; Sekerinski, Emil.; SpringerLink (Online service); Luckcuck, Matt. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login