Sign in

Reasoning about Programs Using a Scientific Method.

Peter W. O'Hearn
Published in: ICFEM (2011)
Keyphrases