Specifying Large Software Systems in Spec
Loading...
Authors
Luqi
Berzins, Valdis
Subjects
Advisors
Date of Issue
1987
Date
1987-07
Publisher
Naval Postgraduate School
Language
Abstract
Type
Technical Report
Description
Author-contributed print item
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
NPS52-87-033
Sponsors
Funder
Format
Citation
V. Berzins and Luqi, "Specifying Large Software Systems in Spec", Technical Report NPS 52-87-033, Computer Science Department, Naval Postgraduate School, 1987.