Sanjit A. Seshia

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2006-103

July 31, 2006

http://www2.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},
    Year= {2006},
    Month= {Jul},
    Url= {http://www2.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://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-103.html
%F Seshia:EECS-2006-103