Login / Signup

The Axiomatic Semantics of Programs Based on Hoare's Logic.

Jan A. BergstraJohn V. Tucker
Published in: Acta Informatica (1984)
Keyphrases