Search Results for Logics and Meanings of Programs. - Narrowed by: Havelund, Klaus. editor.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dLogics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dAUTHOR$002509Yazar$002509Havelund$00252C$002bKlaus.$002beditor.$002509Havelund$00252C$002bKlaus.$002beditor.$0026ps$003d300$0026isd$003dtrue?2024-07-06T20:31:29ZNASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:227032024-07-06T20:31:29Z2024-07-06T20:31:29ZYazar 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:240552024-07-06T20:31:29Z2024-07-06T20:31:29ZYazar Ábrahá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: Electronic Resources<br/>