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

Leino, K. Rustan M.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Tools and algorithms for the construction and analysis of systems = 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abdulla, Parosh Aziz.; Leino, K. Rustan M. (Language materials, printed)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: SpringerLink (Online service); Leino, K. Rustan M.; Silva, Alexandra. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by: Jobstmann, Barbara.; SpringerLink (Online service); Leino, K. Rustan M. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: Leino, K. Rustan M.; Silva, Alexandra.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / by: Leino, K. Rustan M.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Jobstmann, Barbara. (Language materials, printed)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: Leino, K. Rustan M.; Silva, Alexandra.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: Silva, Alexandra.; Leino, K. Rustan M.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login