University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Programs as executable predicates

A. W. Roscoe and C.A.R. Hoare

Details

Book Title

Proceedings of FGCS84 (ICOT‚ editors)

Pages

220–228

Year

1984

Links

BibTeX

Link (pdf)

Related pages

People

Activities