An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
The work
| Authors | Moshe Y. Vardi; Pierre Wolper |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1986 |
| Citekey | vardi1986automatatheoretic |
Where it appeared
| Published in | Proceedings of the First Annual Symposium on Logic in Computer Science |
|---|---|
| Pages | 332--344 |
Related
| Distinct from | vardi1994reasoning |
|---|
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-23 00:00 UTC |
| Approved by | a person 2026-08-26 09:46 UTC |
Filed under
Cite it as
@inproceedings{vardi1986automatatheoretic,
title = {An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)},
author = {Moshe Y. Vardi and Pierre Wolper},
year = {1986},
booktitle = {Proceedings of the First Annual Symposium on Logic in Computer Science},
pages = {332--344},
}
This record lives at https://refs.drheap.org/vardi1986automatatheoretic/ and will keep doing so.