Specifications.: Formal and Informal-A Case Study

Narain H. Gehani. Specifications.: Formal and Informal-A Case Study. Software: Practice and Experience, 12(5):433-444, 1982.

@article{Gehani82,
  title = {Specifications.: Formal and Informal-A Case Study},
  author = {Narain H. Gehani},
  year = {1982},
  tags = {case study},
  researchr = {https://researchr.org/publication/Gehani82},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {12},
  number = {5},
  pages = {433-444},
}