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-81687-7
3-030-81688-5

Permalink:

http://bibtest.howest.be/catalog/ebk03:5470000000830882