Arama Sonuçları Sharygina, Natasha.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSharygina$00252C$002bNatasha.$0026ic$003dtrue$0026ps$003d300?2024-09-21T16:51:46ZComputer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348512024-09-21T16:51:46Z2024-09-21T16:51:46ZYazar 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-09-21T16:51:46Z2024-09-21T16:51:46ZYazar 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-09-21T16:51:46Z2024-09-21T16:51:46ZYazar 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-09-21T16:51:46Z2024-09-21T16:51:46ZYazar 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/>