Author: Lawrence Robinson

Publication Overview

Publication period start: 1978
Number of co-authors: 2

Co-Authors

Number of publications with favourite co-authors

Jay M. Spitzen
1
Karl N. Levitt
2

Productive Colleagues

Most productive colleagues in number of publications

Jay M. Spitzen
1
Karl N. Levitt
6

Publications

Spitzen, Jay M., Levitt, Karl N., Robinson, Lawrence (1978): An Example of Hierarchical Design and Proof. In Communications of the ACM, 21 (12) pp. 1064-1075.
Robinson, Lawrence, Levitt, Karl N. (1977): Proof Techniques for Hierarchically Structured Programs. In Communications of the ACM, 20 (4) pp. 271-283.
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Join 326,564+ designers who get one powerful email each week. Learn to design a life you love.

Next email in
0
days
13
hrs
25
mins
50
secs

Free forever. No spam. Unsubscribe anytime.