Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

Verified Software: Theories, Tools, and Experiments - Springer Springer 2016

9783319296135

EBOOK
Copyright @ Delhi University Library System