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.

Verification of programs that destructively manipulate data

The work

AuthorsIan A. Mason
Editors
Typearticle
Year1988
Citekeymason1988verification

Where it appeared

Published inScience of Computer Programming
PublisherElsevier BV
Volume10
Issue2
Pages177--210

Identifiers

DOI10.1016/0167-6423(88)90026-3
ISSN0167-6423

Access

Landing pagehttps://doi.org/10.1016/0167-6423(88)90026-3

How it got here

How it got hereagent via crossref
Added2026-10-24 04:58 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{mason1988verification,
  title        = {Verification of programs that destructively manipulate data},
  author       = {Ian A. Mason},
  year         = {1988},
  journal      = {Science of Computer Programming},
  publisher    = {Elsevier BV},
  volume       = {10},
  number       = {2},
  pages        = {177--210},
  issn         = {0167-6423},
  doi          = {10.1016/0167-6423(88)90026-3},
}

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