BEHAVIOR SPECIFICATION IN A SOFTWARE-DESIGN SYSTEM
Publication Date
1983
Journal or Book Title
JOURNAL OF SYSTEMS AND SOFTWARE
Pages
123-135
Volume
3
Issue
2
Recommended Citation
Wileden, JC; SAYLER, JH; RIDDLE, WE; SEGAL, AR; and STAVELY, AM, "BEHAVIOR SPECIFICATION IN A SOFTWARE-DESIGN SYSTEM" (1983). JOURNAL OF SYSTEMS AND SOFTWARE. 1289.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/1289
COinS