Some Steps Toward Formal and Automated Aids to Software Requirements Analysis and Design.

IFIP Congress · 1974 · 28 citations · 0 references