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

Shankaranarayanan, Krishna.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part I / by: VMCAI (Conference) (2025 :); Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram.; Trivedi, Ashutosh.; SpringerLink (Online service) (Electronic resources)
Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part II / by: VMCAI (Conference) (2025 :); Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram.; Trivedi, Ashutosh.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login