Browsing by Subject Hoare Logic
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| Dec-1991 | TEXT EDITING AND BEYOND: A STUDY IN LOGIC MODELING | Bieber, Michael; Isakowitz, Tomas |
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| Dec-1991 | TEXT EDITING AND BEYOND: A STUDY IN LOGIC MODELING | Bieber, Michael; Isakowitz, Tomas |