Provably Correct Systems Chapter

authors

A. R. Hoare, C.

publication date

January 1, 1994

has subject area

published in

Lecture Notes in Computer Science

Digital Object Identifier (DOI)

https://doi.org/10.1007/3-540-58468-4_171

start page

288

end page

335