Language: English
Help
回圖書館首頁
手機版館藏查詢
Login
Languages
Jump To : Overview | Titles | Subjects

VMCAI (Conference) (2017 :)

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings / by: VMCAI (Conference) (2017 :); Bouajjani, Ahmed.; Monniaux, David.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login