Arama Sonuçları Sharygina, Natasha.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSharygina$00252C$002bNatasha.$0026ps$003d300?2024-11-13T10:11:02ZComputer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348512024-11-13T10:11:02Z2024-11-13T10:11:02ZYazar Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334851.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5208402024-11-13T10:11:02Z2024-11-13T10:11:02ZYazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520840.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5208432024-11-13T10:11:02Z2024-11-13T10:11:02ZYazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520843.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Validation of Evolving Softwareent://SD_ILS/0/SD_ILS:5185812024-11-13T10:11:02Z2024-11-13T10:11:02ZYazar Chockler, Hana. editor. Kroening, Daniel. editor. Mariani, Leonardo. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518581.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10623-6">https://doi.org/10.1007/978-3-319-10623-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>