EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2009-93

June 15, 2009

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-93.pdf

---

BibTeX citation:

@techreport{EECS-2009-93,
    Editor= {Gulwani, Sumit and Seshia, Sanjit A.},
    Title= {Proceedings of the 1st Workshop on Quantitative Analysis of Software (QA'09)},
    Year= {2009},
    Month= {Jun},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-93.html},
    Number= {UCB/EECS-2009-93},
}

EndNote citation:

%0 Report
%E Gulwani, Sumit 
%E Seshia, Sanjit A. 
%T Proceedings of the 1st Workshop on Quantitative Analysis of Software (QA'09)
%I EECS Department, University of California, Berkeley
%D 2009
%8 June 15
%@ UCB/EECS-2009-93
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-93.html
%F EECS-2009-93