OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
José Oliveira and Jeremy Gibbons (eds)
book title
Teaching Formal Methods
series
Lecture Notes in Computer Science
volume
5846
year
2009
BibTeX
Link (pdf)
DOI (10.1007/978-3-642-04912-5)
Jeremy Gibbons
themes
Software Engineering
