Proceedings of the 1st Workshop on Quantitative Analysis of Software (QA'09) (2009)

Cached

Download Links

by Sumit Gulwani , Sanjit A. Seshia