Computer Aided Verification

Bibliographic Details
Other Authors: Chockler
Format: Electronic eBook
Language:English
Published: Springer International Publishing, 2018
Edition:1
Subjects:
Online Access:Full text available on Springer
Off-campus access
Search Result 1
Published 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
Electronic eBook