Computer Aided Verification - bib.howest.be

Computer Aided Verification

Type:: e-book
Titel:: Computer Aided Verification
Auteur:: Silva, Alexandra; Leino, K. Rustan M.
Taal:: Engels
Uitgever:: Springer International Publishing 2021
ISBN:: 3-030-81684-2
3-030-81685-0
Permalink:: http://bibtest.howest.be/catalog/ebk03:5470000000830883