Login / Signup

PEARL: an interactive system for the preparation and validation of structured programs.

Robert A. Snowdon
Published in: ACM SIGPLAN Notices (1972)
Keyphrases