Computer Aided Verification

Détails bibliographiques
Autres auteurs: Dillig
Format: Électronique eBook
Langue:English
Publié: Springer International Publishing, 2019
Édition:1
Sujets:
Accès en ligne:Full text available on Springer
Off-campus access
Search Result 1
Publié 2019
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
Électronique eBook