Showing 1 - 2 results of 2 for search 'Havelund, Klaus', query time: 0.05s Refine Results
1
Tools and Algorithms for the Construction and Analysis of Systems
by Ábrahám, Erika, Havelund, Klaus
Published 2015
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
2
Formal Methods
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