New opportunities for integrated formal methods
The work
| Title | New opportunities for integrated formal methods |
|---|---|
| Authors | Mario Gleirscher; Simon Foster; Jim Woodcock |
| Type | article |
| Year | 2019 |
| Citekey | gleirscher2019opportunities |
Where it appeared
| Published in | ACM Computing Surveys (CSUR) |
|---|---|
| Volume | 52 |
| Issue | 6 |
| Pages | 1--36 |
Identifiers
| DOI | 10.1145/3357231 |
|---|
Copy held
| Kind | PDF, 643.4 kB |
|---|---|
| Retrieved | 2026-08-05 |
| Held | local, for personal reference |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@article{gleirscher2019opportunities,
title = {New opportunities for integrated formal methods},
author = {Mario Gleirscher and Simon Foster and Jim Woodcock},
year = {2019},
journal = {ACM Computing Surveys (CSUR)},
volume = {52},
number = {6},
pages = {1--36},
doi = {10.1145/3357231},
}
This record lives at https://refs.drheap.org/gleirscher2019opportunities/ and will keep doing so.