Login / Signup

A method for specifying structured programs.

David A. Marca
Published in: ACM SIGSOFT Softw. Eng. Notes (1979)
Keyphrases