Proceedings of the 9th International Workshop on Satisfiability Modulo Theories (SMT) 2011

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2011-80
July 4, 2011

http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-80.pdf

This technical report is the proceedings of the 9th International Workshop on Satisfiability Modulo Theories (SMT) 2011, held in Snowbird, Utah. The workshop is co-located with the 23rd International Conference on Computer-Aided Verification (CAV).


BibTeX citation:

@techreport{EECS-2011-80,
    Editor = {Lahiri, Shuvendu and Seshia, Sanjit A.},
    Title = {Proceedings of the 9th International Workshop on Satisfiability Modulo Theories (SMT) 2011},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2011},
    Month = {Jul},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-80.html},
    Number = {UCB/EECS-2011-80},
    Abstract = {This technical report is the proceedings of the 9th International Workshop on Satisfiability Modulo Theories (SMT) 2011, held in Snowbird, Utah. The workshop is co-located with the 23rd International Conference on
Computer-Aided Verification (CAV).}
}

EndNote citation:

%0 Report
%E Lahiri, Shuvendu
%E Seshia, Sanjit A.
%T Proceedings of the 9th International Workshop on Satisfiability Modulo Theories (SMT) 2011
%I EECS Department, University of California, Berkeley
%D 2011
%8 July 4
%@ UCB/EECS-2011-80
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-80.html
%F EECS-2011-80