Computer Aided Verification

Dades bibliogràfiques
Altres autors: Chockler
Format: Electrònic eBook
Idioma:English
Publicat: Springer International Publishing, 2018
Edició:1
Matèries:
Accés en línia:Full text available on Springer
Off-campus access
Search Result 1
Publicat 2018
Off-Campus Access: Athens ID and Password Required
On-Campus Access: No User ID or Password Required
Full text available on Springer
Off-campus access
Electrònic eBook