Search Results for Havelund, Klaus. - Narrowed by: Software engineering. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dHavelund$00252C$002bKlaus.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300? 2024-06-29T08:30:23Z NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings ent://SD_ILS/0/SD_ILS:22703 2024-06-29T08:30:23Z 2024-06-29T08:30:23Z Yazar&#160;Havelund, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17524-9">http://dx.doi.org/10.1007/978-3-319-17524-9</a><br/>Format:&#160;Electronic Resources<br/> 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:221703 2024-06-29T08:30:23Z 2024-06-29T08:30:23Z Yazar&#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/> Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24055 2024-06-29T08:30:23Z 2024-06-29T08:30:23Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54862-8">http://dx.doi.org/10.1007/978-3-642-54862-8</a><br/>Format:&#160;Electronic Resources<br/>