The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Program Verification: The Very Idea
The work
| Authors | James H. Fetzer |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1993 |
| Citekey | fetzer1993program |
Where it appeared
| Published in | Program Verification: Fundamental Issues in Computer Science |
|---|---|
| Publisher | Springer |
| Series | Studies in Cognitive Systems |
| Number in series | 14 |
| Pages | 321--358 |
Identifiers
| DOI | 10.1007/978-94-011-1793-7_15 |
|---|---|
| ISBN | 978-94-010-4789-0 |
Empty on purpose
| abstract |
Related
| Distinct from | clarke1996formal |
|---|---|
| Distinct from | colburn1993program |
| Distinct from | demillo1993social |
| Distinct from | newcombe2015amazon |
| Distinct from | smith1993limits |
| Distinct from | williams1992formal |
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-18 00:00 UTC |
| Not denied by | a person 2026-08-18 16:23 UTC |
Filed under
Cite it as
@incollection{fetzer1993program,
title = {Program Verification: The Very Idea},
author = {James H. Fetzer},
year = {1993},
booktitle = {Program Verification: Fundamental Issues in Computer Science},
publisher = {Springer},
series = {Studies in Cognitive Systems},
pages = {321--358},
isbn = {978-94-010-4789-0},
doi = {10.1007/978-94-011-1793-7_15},
}
This record lives at https://refs.drheap.org/fetzer1993program/ and will keep doing so.