Search Results for Canal, Carlos. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCanal$00252C$002bCarlos.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-09-14T00:56:33Z Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519078 2024-09-14T00:56:33Z 2024-09-14T00:56:33Z Author&#160;Canal, Carlos. editor.&#160;Idani, Akram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519078.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, M&aacute;laga, Spain, September 11-13, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335212 2024-09-14T00:56:33Z 2024-09-14T00:56:33Z Author&#160;Canal, Carlos. editor.&#160;Villari, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335212.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45364-9">http://dx.doi.org/10.1007/978-3-642-45364-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>