Jeannette M. Wing. A Specifier s Introduction to Formal Methods. IEEE Computer, 23(9):8-24, 1990.
@article{Wing90:0, title = {A Specifier s Introduction to Formal Methods}, author = {Jeannette M. Wing}, year = {1990}, researchr = {https://researchr.org/publication/Wing90%3A0}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {23}, number = {9}, pages = {8-24}, }