Tool Support for Formal Methods

@inproceedings{Craigen:ICSE91,
  author    = {Dan Craigen},
  title     = {Tool Support for Formal Methods},
  booktitle = {ICSE},
  pages     = {184--185},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1991},
}