FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report)

@inproceedings{Craigen:ICSE90,
  author    = {Dan Craigen},
  title     = {{FM} 89: Assessment of Formal Methods for Trustworthy Computer Systems {(Workshop} Report)},
  booktitle = {ICSE},
  pages     = {233--235},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}