ebook img
Author:Dimitra GiannakopoulouDaniel Kroening (eds.)
Language:English
Release year:2014
File size:15.097 MB
Number of page:291
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Similar Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

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