Mehmet Bülent Özcan. Use of Executable Formal Specifications in User Validation. Software: Practice and Experience, 28(13):1359-1385, 1998.
@article{Ozcan98, title = {Use of Executable Formal Specifications in User Validation}, author = {Mehmet Bülent Özcan}, year = {1998}, researchr = {https://researchr.org/publication/Ozcan98}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {28}, number = {13}, pages = {1359-1385}, }