Login / Signup

Toward tools to support the Gries/Dijkstra design process.

Robert B. Terwilliger
Published in: ACM SIGSOFT Softw. Eng. Notes (1993)
Keyphrases