1
Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Other Personal Name(s): “...Blazy, Sandrine...”

Full text 
Favorites
Saved in:
2
Static Analysis [E-Book] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
Other Personal Name(s): “...Blazy, Sandrine....”

Full text 
Favorites
Saved in:
3
Interactive Theorem Proving [E-Book] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
Other Personal Name(s): “...Blazy, Sandrine....”

Full text 
Favorites
Saved in:

Narrow Search Results