Top 944 galar pascual diego kumar uday PDF Book Page 31

book image

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.)
·507 Pages
·2014
·8.219 MB

1
303132
40