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