Mathematical theory of program correctness
The work
| Authors | Jacobus W. de Bakker |
|---|---|
| Editors | |
| Type | book |
| Year | 1980 |
| Citekey | bakker1980mathematical |
Where it appeared
| Publisher | Prentice-Hall |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-08 01:14 UTC |
Filed under
Cite it as
@book{bakker1980mathematical,
title = {Mathematical theory of program correctness},
author = {Jacobus W. de Bakker},
year = {1980},
publisher = {Prentice-Hall},
}
This record lives at https://refs.drheap.org/bakker1980mathematical/ and will keep doing so.