Login / Signup

A Critique of the Foundations of Hoare-Style Programming Logics.

Michael J. O'Donnell
Published in: Logic of Programs (1981)
Keyphrases