ebook img
Author:Deepak D’SouzaAkash LalKim Guldstrand Larsen (eds.)
Language:English
Release year:2015
File size:10.499 MB
Number of page:482
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Similar Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.