Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Furia, Carlo A.

Overview
Works: 3 works in 3 publications in 1 languages
Titles
Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / by: Winter, Kirsten.; SpringerLink (Online service); Furia, Carlo A. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / by: SpringerLink (Online service); Aichernig, Bernhard K.; Furia, Carlo A. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / by: Nanz, Sebastian.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Furia, Carlo A. (Language materials, printed)
Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / by: SpringerLink (Online service); Winter, Kirsten.; Furia, Carlo A.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Furia, Carlo A.; SpringerLink (Online service); Aichernig, Bernhard K. (Language materials, printed)
 
 
Change password
Login