OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Biere, Armin, Kroening, Daniel, Weissenbacher, Georg and Wintersteiger, Christoph
month
March
publisher
Springer
year
2008
BibTeX
Daniel Kroening | Georg Weissenbacher
