Search Results for Pardo, Alberto. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPardo$00252C$002bAlberto.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2025-12-30T17:52:39Z Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195716 2025-12-30T17:52:39Z 2025-12-30T17:52:39Z Author&#160;Barthe, Gilles. editor.&#160;Pardo, Alberto. editor.&#160;Schneider, Gerardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24690-6">http://dx.doi.org/10.1007/978-3-642-24690-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:190535 2025-12-30T17:52:39Z 2025-12-30T17:52:39Z Author&#160;Bove, Ana. editor.&#160;Barbosa, Lu&iacute;s Soares. editor.&#160;Pardo, Alberto. editor.&#160;Pinto, Jorge Sousa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03153-3">http://dx.doi.org/10.1007/978-3-642-03153-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>