Skip to content

Assertions.

C. A. R. Hoare

VenueBIFM
Year2000
ProceedingsIFM

Browse the full IFM paper archive.