{"_id":"463R7j6mRWcJQjGiC","bibbaseid":"fraser-kumar-vaishnavi-strategiesforincorporatingformalspecificationsinsoftwaredevelopment-1994","author_short":["Fraser, M. D.","Kumar, K.","Vaishnavi, V. K."],"bibdata":{"bibtype":"article","type":"article","title":"Strategies for incorporating formal specifications in software development","volume":"37","doi":"10/ccgrph","number":"10","journal":"Communications of the ACM","author":[{"propositions":[],"lastnames":["Fraser"],"firstnames":["Martin","D."],"suffixes":[]},{"propositions":[],"lastnames":["Kumar"],"firstnames":["Kuldeep"],"suffixes":[]},{"propositions":[],"lastnames":["Vaishnavi"],"firstnames":["Vijay","K."],"suffixes":[]}],"year":"1994","note":"Publisher: Association for Computing Machinery, Inc.","pages":"74–87","bibtex":"@article{fraser_strategies_1994,\n\ttitle = {Strategies for incorporating formal specifications in software development},\n\tvolume = {37},\n\tdoi = {10/ccgrph},\n\tnumber = {10},\n\tjournal = {Communications of the ACM},\n\tauthor = {Fraser, Martin D. and Kumar, Kuldeep and Vaishnavi, Vijay K.},\n\tyear = {1994},\n\tnote = {Publisher: Association for Computing Machinery, Inc.},\n\tpages = {74--87},\n}\n\n","author_short":["Fraser, M. D.","Kumar, K.","Vaishnavi, V. K."],"key":"fraser_strategies_1994","id":"fraser_strategies_1994","bibbaseid":"fraser-kumar-vaishnavi-strategiesforincorporatingformalspecificationsinsoftwaredevelopment-1994","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["strategies","incorporating","formal","specifications","software","development","fraser","kumar","vaishnavi"],"title":"Strategies for incorporating formal specifications in software development","year":1994}