Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design (FMCAD 2015)
The work
| Authors | |
|---|---|
| Editors | Roope Kaivola; Thomas Wahl |
| Type | book |
| Year | 2015 |
| Citekey | kaivola2015proceedings |
Where it appeared
| Publisher | FMCAD Inc. |
|---|
Identifiers
| ISBN | 978-0-9835678-5-1 |
|---|
Empty on purpose
| abstract |
Related
| Distinct from | hunt2010use |
|---|
A copy is held
pdf, 8.5 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-09-15 22:13 UTC |
| Approved by | a person 2026-10-02 09:59 UTC |
Filed under
Cite it as
@book{kaivola2015proceedings,
title = {Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design (FMCAD 2015)},
editor = {Roope Kaivola and Thomas Wahl},
year = {2015},
publisher = {FMCAD Inc.},
isbn = {978-0-9835678-5-1},
}
This record lives at https://refs.drheap.org/kaivola2015proceedings/ and will keep doing so.