Languages
Jump To : Overview | Titles | Subjects

Blazy, Sandrine.

Overview
Works: 0 works in 3 publications in 1 languages
Titles
Interactive theorem proving = 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings / by: Paulin-Mohring, Christine.; Blazy, Sandrine.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Pichardie, David. (Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by: Blazy, Sandrine.; SpringerLink (Online service); Chechik, Marsha. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings / by: Jensen, Thomas.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Blazy, Sandrine. (Language materials, printed)
Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / by: SpringerLink (Online service); Blazy, Sandrine.; Jensen, Thomas. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / by: Blazy, Sandrine.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Chechik, Marsha. (Language materials, printed)
 
 
Change password
Login