語系: 繁體中文
說明(常見問題)
登入
語系
Jump To : Overview | Titles | Subjects

Chockler, Hana.

Overview
Works: 0 works in 3 publications in 1 languages
Titles
Validation of Evolving Software by: Kroening, Daniel.; SpringerLink (Online service); Sharygina, Natasha.; Mariani, Leonardo.; Chockler, Hana. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Validation of evolving software by: SpringerLink (Online service); Chockler, Hana. (Language materials, printed)
Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part I / by: SpringerLink (Online service); Weissenbacher, Georg.; Chockler, Hana.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / by: SpringerLink (Online service); Weissenbacher, Georg.; Chockler, Hana. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings / by: Hu, Alan J.; SpringerLink (Online service); Chockler, Hana.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / by: Chockler, Hana.; SpringerLink (Online service); Weissenbacher, Georg. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part II / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Chockler, Hana.; Weissenbacher, Georg.; SpringerLink (Online service) (Language materials, printed)
 
 
Change password
Login