Search Results for - Narrowed by: Peled, Doron A. editor. - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Peled$00252C$002bDoron$002bA.$002beditor.$002509Peled$00252C$002bDoron$002bA.$002beditor.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300$0026isd$003dtrue?2024-09-25T14:15:48ZVerification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033342024-09-25T14:15:48Z2024-09-25T14:15:48Zby Logozzo, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78163-9">http://dx.doi.org/10.1007/978-3-540-78163-9</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103402024-09-25T14:15:48Z2024-09-25T14:15:48Zby Peled, Doron A. editor.<br/><a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>