國立虎尾科技大學 |

作品:	0 作品在 3 項出版品 1 種語言

Validation of Evolving Software by: Kroening, Daniel.; SpringerLink (Online service); Sharygina, Natasha.; Mariani, Leonardo.; Chockler, Hana. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Validation of evolving software by: SpringerLink (Online service); Chockler, Hana. (書目-語言資料,印刷品)

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 :) (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品) , [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 :) (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品) , [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) (書目-語言資料,印刷品)