OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
login
OXFORD UNIVERSITY COMPUTING LABORATORY
M. Kwiatkowska, G. Norman and D. Parker
book title
Proc. Workshop on Advances in Verification (Wave'2000)
month
July
year
2000
BibTeX
Link (pdf)
Marta Kwiatkowska | Gethin Norman | David Parker
