{"_id":"AfLMDnj8spfDYj2dR","bibbaseid":"abernethy-kelly-sobel-kiper-powell-technologytransferissuesforformalmethodsofsoftwarespecification-2000","author_short":["Abernethy, K.","Kelly, J.","Sobel, A.","Kiper, J. D.","Powell, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Technology transfer issues for formal methods of software specification","doi":"10/bzrt9n","booktitle":"Thirteenth Conference on Software Engineering Education and Training","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Abernethy"],"firstnames":["Ken"],"suffixes":[]},{"propositions":[],"lastnames":["Kelly"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Sobel"],"firstnames":["Ann"],"suffixes":[]},{"propositions":[],"lastnames":["Kiper"],"firstnames":["James","D."],"suffixes":[]},{"propositions":[],"lastnames":["Powell"],"firstnames":["John"],"suffixes":[]}],"year":"2000","note":"tex.ids= abernethyTechnologyTransferIssues2000a, abernethyTechnologyTransferIssues2000b, abernethyTechnologyTransferIssues2000c, abernethyTechnologyTransferIssues2000d, abernethyTechnologyTransferIssues2000e","pages":"23–31","bibtex":"@inproceedings{abernethy_technology_2000,\n\ttitle = {Technology transfer issues for formal methods of software specification},\n\tdoi = {10/bzrt9n},\n\tbooktitle = {Thirteenth {Conference} on {Software} {Engineering} {Education} and {Training}},\n\tpublisher = {IEEE},\n\tauthor = {Abernethy, Ken and Kelly, John and Sobel, Ann and Kiper, James D. and Powell, John},\n\tyear = {2000},\n\tnote = {tex.ids= abernethyTechnologyTransferIssues2000a, abernethyTechnologyTransferIssues2000b, abernethyTechnologyTransferIssues2000c, abernethyTechnologyTransferIssues2000d, abernethyTechnologyTransferIssues2000e},\n\tpages = {23--31},\n}\n\n","author_short":["Abernethy, K.","Kelly, J.","Sobel, A.","Kiper, J. D.","Powell, J."],"key":"abernethy_technology_2000","id":"abernethy_technology_2000","bibbaseid":"abernethy-kelly-sobel-kiper-powell-technologytransferissuesforformalmethodsofsoftwarespecification-2000","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["technology","transfer","issues","formal","methods","software","specification","abernethy","kelly","sobel","kiper","powell"],"title":"Technology transfer issues for formal methods of software specification","year":2000}