Social Processes and Proofs of Theorems and Programs
The work
| Title | Social Processes and Proofs of Theorems and Programs |
|---|---|
| Authors | R. A. De Millo; R. J. Lipton; A. J. Perlis |
| Type | chapter in a collection |
| Year | 1993 |
| Citekey | demillo1993social |
Where it appeared
| Published in | Program Verification: Fundamental Issues in Computer Science |
|---|---|
| Publisher | Springer |
| Series | Studies in Cognitive Systems |
| Number in series | 14 |
| Pages | 297--319 |
Identifiers
| DOI | 10.1007/978-94-011-1793-7_14 |
|---|---|
| ISBN | 978-94-010-4789-0 |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-18 |
| Record | reviewed by a person |
| Approved | 2026-08-18 |
Cite it as
@incollection{demillo1993social,
title = {Social Processes and Proofs of Theorems and Programs},
author = {R. A. De Millo and R. J. Lipton and A. J. Perlis},
year = {1993},
booktitle = {Program Verification: Fundamental Issues in Computer Science},
pages = {297--319},
publisher = {Springer},
series = {Studies in Cognitive Systems},
volume = {14},
doi = {10.1007/978-94-011-1793-7_14},
isbn = {978-94-010-4789-0},
}
This record lives at https://refs.drheap.org/demillo1993social/ and will keep doing so.