Showing 1 - 3 results of 3 for search 'Dillig, Isil', query time: 0.03s Refine Results
1
Verification, Model Checking, and Abstract Interpretation
by Dillig, Isil, Palsberg, Jens
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
2
Computer Aided Verification
by Dillig, Isil, Tasiran, Serdar
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
3
Computer Aided Verification
by Dillig, Isil, Tasiran, Serdar
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search