"Languages for representing software specifications and designs."

William E. Riddle, Jack C. Wileden (1978)

Details and statistics

DOI: 10.1145/1010741.1010742

access: closed

type: Journal Article

metadata version: 2022-02-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics