Formal Methods: An International Perspective

@inproceedings{Gerhart:ICSE91,
  author    = {Susan L. Gerhart},
  title     = {Formal Methods: An International Perspective},
  booktitle = {ICSE},
  pages     = {36--37},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1991},
}