Login / Signup

Reasoning About Procedures as Parameters.

Steven M. GermanEdmund M. ClarkeJoseph Y. Halpern
Published in: Logic of Programs (1983)
Keyphrases