OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Kroening, Daniel and Paul, Wolfgang
book title
Proc. of 38th ACM/IEEE Design Automation Conference (DAC 2001)
pages
810—815
publisher
ACM Press
year
2001
BibTeX
Daniel Kroening
activities
Hardware Verification
themes
Verification
