OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Kroening, Daniel and Sharygina, Natasha
book title
Proceedings of MEMOCODE 2005
pages
101—110
publisher
IEEE
year
2005
BibTeX
Daniel Kroening
activities
Hardware Verification
themes
Verification
