Arama Sonu&ccedil;lar&#305; Methods engineering. - Daralt&#305;lm&#305;&#351;: Computers. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMethods$002bengineering.$0026qf$003dSUBJECT$002509Konu$002509Computers.$002509Computers.$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-30T03:05:10Z Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-11-30T03:05:10Z 2024-11-30T03:05:10Z Yazar&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484770 2024-11-30T03:05:10Z 2024-11-30T03:05:10Z Yazar&#160;Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712&#160;Qin, Shengchao. editor. (orcid)0000-0003-3028-8191&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>