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

Bloem, Roderick.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Bloem, Roderick.; Arbel, Eli.; SpringerLink (Online service) (Language materials, printed)
Software Verification = 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers / by: Fan, Chuchu.; Sharygina, Natasha.; Bloem, Roderick.; SpringerLink (Online service); Dimitrova, Rayna. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Handbook of Model Checking by: SpringerLink (Online service); Bloem, Roderick.; Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Trusted systems = 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013 : proceedings / by: Lipp, Peter.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bloem, Roderick.; SpringerLink (Online service) (Language materials, printed)
Hardware and Software: Verification and Testing = 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by: Bloem, Roderick.; Arbel, Eli.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login