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.

VIPER: Simulation of Specification - User's Guide

The work

AuthorsW. J. Cullyer
Editors
Typetechreport
Year1986
Also known ascullyer1986viperb
Citekeycullyer1986simulation

Where it appeared

PublisherMinistry of Defence (unpublished report)
SchoolMinistry of Defence (unpublished report)

How it got here

How it got hereagent via bibtex
Added2026-10-23 08:45 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@techreport{cullyer1986simulation,
  title        = {VIPER: Simulation of Specification - User's Guide},
  author       = {W. J. Cullyer},
  year         = {1986},
  publisher    = {Ministry of Defence (unpublished report)},
  school       = {Ministry of Defence (unpublished report)},
}

This record lives at https://refs.drheap.org/cullyer1986simulation/ and will keep doing so. It used to be called cullyer1986viperb, and those addresses still resolve to this one.