Informal Workshop on Formal Methods at Koç University. Taş\iran, S.; Elmas, T.; Sezgin, A.; Uğurdağ, S. G.; Yenigün, H.; Y\ilmaz, C.; Erdem, E.; Aktemur, B.; Ünal, D.; Bahtiyar, Ş.; and others
bibtex   
@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}
}
Downloads: 0