A Larch specification of the library problem
Jeannette Marie Wing
10.1184/R1/6587516.v1
https://kilthub.cmu.edu/articles/journal_contribution/A_Larch_specification_of_the_library_problem/6587516
Computer Science Department
1982-12-01 00:00:00
Computer programs Correctness.
Programming (Electronic computers).
Computer interfaces.