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}, }