On the Use of Formal Methods in Software Development

@inproceedings{Bjorner:ICSE87,
  author    = {Dines Bj{\o}rner},
  title     = {On the Use of Formal Methods in Software Development},
  booktitle = {ICSE},
  pages     = {17--29},
  publisher = {{ACM}},
  year      = {1987},
}