Observations on Industrial Practice Using Formal Methods

@inproceedings{Gerhart-al:ICSE93,
  author    = {Susan L. Gerhart and
               Dan Craigen and
               Ted Ralston},
  title     = {Observations on Industrial Practice Using Formal Methods},
  booktitle = {ICSE},
  pages     = {24--33},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1993},
}