Gurfinkel, Arie.Seshia, Sanjit A. (2016) Verified SoftwareTheories, Tools, and Experiments [S.l.] : Springer International Publishing Switzerland,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Verified Software [electronic resource] : Theories, Tools, and Experiments /
|Main Author:||Gurfinkel, Arie.|
|Other Names:||Seshia, Sanjit A.|
|Published:||[S.l.] : Springer International Publishing Switzerland, 2016.|