Search
Now showing items 1-5 of 5
Formal specification of a specification library
(Massachusetts Institute of Technology, 1982)
The design of a conservative logic computer and a graphical editor simulator
(Massachusetts Institute of Technology, 1981)
Displaying data structures for interactive debugging
(Massachusetts Institute of Technology, 1980)
A cancer protocol writer's assistant
(Massachusetts Institute of Technology, 1982)
Mockingbird : an interactive composer's aid
(Massachusetts Institute of Technology, 1981)