Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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://www.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://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-93.html
%F EECS-2009-93