Área de conocimientoPeriodo de publicación recogido
|
|
|
Rule-Based Software Verification and Correction
Demis Ballis
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Moreno Falaschi (dir. tes.). Universitat Politècnica de València (2005).
Rewriting Logic Techniques for Program Analysis and Optimization
Tesis doctoral dirigida por Demis Ballis (dir. tes.), María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2017).
Francisco Frechina Navarro
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Demis Ballis (dir. tes.). Universitat Politècnica de València (2014).
Rewriting-based Verification and Debugging of Web Systems
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Demis Ballis (dir. tes.). Universitat Politècnica de València (2011).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados