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

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)},
    Institution = {EECS Department, University of California, Berkeley},
    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