The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Realising the Benefits of Formal Methods

The work

AuthorsAnthony Hall
Editors
Typeinproceedings
Year2005
Citekeyhall2005realising

Where it appeared

Published in7th International Conference on Formal Engineering Methods (ICFEM)
PublisherSpringer
Volume3785
Pages1--4

Identifiers

DOI10.1007/11576280_1
OpenAlexW1582430388

Access

Landing pagehttps://doi.org/10.1007/11576280_1

How it got here

How it got hereagent via bibtex
Added2026-08-05 00:00 UTC
Not denied bya person 2026-08-16 17:22 UTC

Filed under

do-formal-methods-pay

Cite it as

@inproceedings{hall2005realising,
  title        = {Realising the Benefits of Formal Methods},
  author       = {Anthony Hall},
  year         = {2005},
  booktitle    = {7th International Conference on Formal Engineering Methods (ICFEM)},
  publisher    = {Springer},
  volume       = {3785},
  pages        = {1--4},
  doi          = {10.1007/11576280_1},
}

This record lives at https://refs.drheap.org/hall2005realising/ and will keep doing so.