Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Checking for file health...
Author:Dimitra Giannakopoulou, Daniel Kroening (eds.)
Language:English
Release year:2014
File size:15.097 MB
Number of page:291
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
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
