Clicky

Books by Sanjit A. Seshia and similar authors - Bookscovery

Home > Authors > Sanjit A. Seshia

Sanjit A. Seshia

All books by Sanjit A. Seshia

(Displaying 1 Book)

Verified Software : Theories, Tools, and Experiments

Verified Software : Theories, Tools, and Experiments

Arie Gurfinkel

Looking for another book by Sanjit A. Seshia? Search for the book by title.