Search Results for - Narrowed by: Programming Languages, Compilers, Interpreters. - Roscoe, Bill. editor. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026qf$003dAUTHOR$002509Author$002509Roscoe$00252C$002bBill.$002beditor.$002509Roscoe$00252C$002bBill.$002beditor.$0026ps$003d300? 2024-05-23T18:21:01Z Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085468 2024-05-23T18:21:01Z 2024-05-23T18:21:01Z by&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472<br/><a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings ent://SD_ILS/0/SD_ILS:2086155 2024-05-23T18:21:01Z 2024-05-23T18:21:01Z by&#160;Corn&eacute;lio, M&aacute;rcio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format:&#160;Electronic Resources<br/>