Languages
Jump To : Overview | Titles | Subjects

Dillig, Isil.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / by: Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by: Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I / by: Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service) (Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by: SpringerLink (Online service); Palsberg, Jens.; Dillig, Isil. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II / by: Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service) (Language materials, printed)
 
 
Change password
Login