Login / Signup

Rules of Inference for Procedure Calls.

George W. Ernst
Published in: Acta Informatica (1977)
Keyphrases