Login / Signup

The Mathematics of Programming.

C. A. R. Hoare
Published in: FSTTCS (1985)
Keyphrases