{"_id":"8gDsP4L9qG6YSawMG","bibbaseid":"backes-bolignano-cook-gacek-luckow-rungta-schaef-schlesinger-etal-oneclickformalmethods-2019","author_short":["Backes, J.","Bolignano, P.","Cook, B.","Gacek, A.","Luckow, K. S.","Rungta, N.","Schaef, M.","Schlesinger, C.","Tanash, R.","Varming, C."],"bibdata":{"bibtype":"article","type":"article","title":"One-click formal methods","volume":"36","doi":"10/ghv4qm","number":"6","journal":"IEEE Software","author":[{"propositions":[],"lastnames":["Backes"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Bolignano"],"firstnames":["Pauline"],"suffixes":[]},{"propositions":[],"lastnames":["Cook"],"firstnames":["Byron"],"suffixes":[]},{"propositions":[],"lastnames":["Gacek"],"firstnames":["Andrew"],"suffixes":[]},{"propositions":[],"lastnames":["Luckow"],"firstnames":["Kasper","Soe"],"suffixes":[]},{"propositions":[],"lastnames":["Rungta"],"firstnames":["Neha"],"suffixes":[]},{"propositions":[],"lastnames":["Schaef"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Schlesinger"],"firstnames":["Cole"],"suffixes":[]},{"propositions":[],"lastnames":["Tanash"],"firstnames":["Rima"],"suffixes":[]},{"propositions":[],"lastnames":["Varming"],"firstnames":["Carsten"],"suffixes":[]}],"year":"2019","note":"tex.ids= backesOneclickFormalMethods2019a publisher: IEEE","pages":"61–65","bibtex":"@article{backes_one-click_2019,\n\ttitle = {One-click formal methods},\n\tvolume = {36},\n\tdoi = {10/ghv4qm},\n\tnumber = {6},\n\tjournal = {IEEE Software},\n\tauthor = {Backes, John and Bolignano, Pauline and Cook, Byron and Gacek, Andrew and Luckow, Kasper Soe and Rungta, Neha and Schaef, Martin and Schlesinger, Cole and Tanash, Rima and Varming, Carsten},\n\tyear = {2019},\n\tnote = {tex.ids= backesOneclickFormalMethods2019a\npublisher: IEEE},\n\tpages = {61--65},\n}\n\n","author_short":["Backes, J.","Bolignano, P.","Cook, B.","Gacek, A.","Luckow, K. S.","Rungta, N.","Schaef, M.","Schlesinger, C.","Tanash, R.","Varming, C."],"key":"backes_one-click_2019","id":"backes_one-click_2019","bibbaseid":"backes-bolignano-cook-gacek-luckow-rungta-schaef-schlesinger-etal-oneclickformalmethods-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["one","click","formal","methods","backes","bolignano","cook","gacek","luckow","rungta","schaef","schlesinger","tanash","varming"],"title":"One-click formal methods","year":2019}