Browse
Search
Explore more content
file.
pdf
(779.05 kB)
File info
Download file
Fullscreen
A Larch specification of the library problem
Cite
Download
(779.05 kB)
Share
Embed
journal contribution
posted on 1982-12-01, 00:00
authored by
Jeannette Marie Wing
Computer Science Department
History
Publisher Statement
All Rights Reserved
Date
1982-12-01
Usage metrics
Categories
Information and Computing Sciences not elsewhere classified
Keywords
Computer programs Correctness.
Programming (Electronic computers).
Computer interfaces.
Licence
In Copyright
Exports
Select an option
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC