@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{KS-iccad07,
author = {Daniel Kroening and
Sanjit A. Seshia},
title = {Formal Verification at Higher Levels of Abstraction},
booktitle = {International Conference on Computer-Aided Design (ICCAD)},
year = {2007},
month = {November},
publisher = {IEEE Press},
pages = {572--578},
wwwnote = {Slides available in PDF},
}