Integrated Verification for Robust Computing

Sanjit A. Seshia

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2006-103
July 31, 2006

http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-103.pdf


BibTeX citation:

@techreport{Seshia:EECS-2006-103,
    Author = {Seshia, Sanjit A.},
    Title = {Integrated Verification for Robust Computing},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2006},
    Month = {Jul},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-103.html},
    Number = {UCB/EECS-2006-103}
}

EndNote citation:

%0 Report
%A Seshia, Sanjit A.
%T Integrated Verification for Robust Computing
%I EECS Department, University of California, Berkeley
%D 2006
%8 July 31
%@ UCB/EECS-2006-103
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-103.html
%F Seshia:EECS-2006-103