@article{tacsiraninformal,
  title={Informal Workshop on Formal Methods at Ko{\c{c}} University},
  author={Ta{\c{s}}{\i}ran, Serdar and Elmas, Tayfun and Sezgin, Ali and U{\u{g}}urda{\u{g}}, Sezer G{\"o}ren and Yenig{\"u}n, H{\"u}sn{\"u} and Y{\i}lmaz, Cemal and Erdem, Esra and Aktemur, Bar{\i}{\c{s}} and {\"U}nal, Devrim and Bahtiyar, {\c{S}}erif and others}
}

{"_id":"9jhfBaB2DJmPvDQdQ","bibbaseid":"tairan-elmas-sezgin-uurda-yenign-yilmaz-erdem-aktemur-etal-informalworkshoponformalmethodsatkouniversity","authorIDs":[],"author_short":["Taş\\iran, S.","Elmas, T.","Sezgin, A.","Uğurdağ, S. G.","Yenigün, H.","Y\\ilmaz, C.","Erdem, E.","Aktemur, B.","Ünal, D.","Bahtiyar, Ş.","others"],"bibdata":{"bibtype":"article","type":"article","title":"Informal Workshop on Formal Methods at Koç University","author":[{"propositions":[],"lastnames":["Taş\\iran"],"firstnames":["Serdar"],"suffixes":[]},{"propositions":[],"lastnames":["Elmas"],"firstnames":["Tayfun"],"suffixes":[]},{"propositions":[],"lastnames":["Sezgin"],"firstnames":["Ali"],"suffixes":[]},{"propositions":[],"lastnames":["Uğurdağ"],"firstnames":["Sezer","Gören"],"suffixes":[]},{"propositions":[],"lastnames":["Yenigün"],"firstnames":["Hüsnü"],"suffixes":[]},{"propositions":[],"lastnames":["Y\\ilmaz"],"firstnames":["Cemal"],"suffixes":[]},{"propositions":[],"lastnames":["Erdem"],"firstnames":["Esra"],"suffixes":[]},{"propositions":[],"lastnames":["Aktemur"],"firstnames":["Bar\\iş"],"suffixes":[]},{"propositions":[],"lastnames":["Ünal"],"firstnames":["Devrim"],"suffixes":[]},{"propositions":[],"lastnames":["Bahtiyar"],"firstnames":["Şerif"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["others"],"suffixes":[]}],"bibtex":"@article{tacsiraninformal,\n title={Informal Workshop on Formal Methods at Ko{\\c{c}} University},\n author={Ta{\\c{s}}{\\i}ran, Serdar and Elmas, Tayfun and Sezgin, Ali and U{\\u{g}}urda{\\u{g}}, Sezer G{\\\"o}ren and Yenig{\\\"u}n, H{\\\"u}sn{\\\"u} and Y{\\i}lmaz, Cemal and Erdem, Esra and Aktemur, Bar{\\i}{\\c{s}} and {\\\"U}nal, Devrim and Bahtiyar, {\\c{S}}erif and others}\n}\n\n","author_short":["Taş\\iran, S.","Elmas, T.","Sezgin, A.","Uğurdağ, S. G.","Yenigün, H.","Y\\ilmaz, C.","Erdem, E.","Aktemur, B.","Ünal, D.","Bahtiyar, Ş.","others"],"key":"tacsiraninformal","id":"tacsiraninformal","bibbaseid":"tairan-elmas-sezgin-uurda-yenign-yilmaz-erdem-aktemur-etal-informalworkshoponformalmethodsatkouniversity","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://cogrobo.sabanciuniv.edu/wp-content/bibtex.bib","creationDate":"2020-12-22T15:23:23.463Z","downloads":0,"keywords":[],"search_terms":["informal","workshop","formal","methods","university","taş\\iran","elmas","sezgin","uğurdağ","yenigün","y\\ilmaz","erdem","aktemur","ünal","bahtiyar","others"],"title":"Informal Workshop on Formal Methods at Koç University","year":null,"dataSources":["e6rYgQxtrAXqREozX"]}