Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Jump To :
Overview
Titles
Subjects
Computer software - Congresses - Verification
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Computer aided verification = 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.. Part II /
by:
(Electronic resources)
Subjects
Software Engineering.
Artificial Intelligence.
Computer software- Verification
Design and Analysis of Algorithms.
Processing
...
Change password
Login