Verification Oriented Language Design
The work
| Title | Verification Oriented Language Design |
|---|---|
| Authors | J. H. Morris |
| Type | technical report |
| Year | 1972 |
| Citekey | morris1972verification |
Where it appeared
| Publisher | University of California, Berkeley |
|---|
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-08 |
Cite it as
@techreport{morris1972verification,
title = {Verification Oriented Language Design},
author = {J. H. Morris},
year = {1972},
publisher = {University of California, Berkeley},
}
This record lives at https://refs.drheap.org/morris1972verification/ and will keep doing so.