FM91: Formal Methods Workshop

@inproceedings{Craigen-Ryan:ICSE91,
  author    = {Dan Craigen and
               Peter Ryan},
  title     = {{FM91:} Formal Methods Workshop},
  booktitle = {ICSE},
  pages     = {140--142},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1991},
}