Seguir
Kuruvilla George Aiyankovil
Kuruvilla George Aiyankovil
Researcher at Maynooth University
Dirección de correo verificada de mumail.ie - Página principal
Título
Citado por
Citado por
Año
Creating new Program Proofs by Combining Abductive and Deductive Reasoning
KG Ajankovil, D O'Donoghue, R Monahan
12021
Upcycling Formal Specifications for Similar Implementations with Aris
KG Aiyankovil, R Monahan, D O'Donoghue
12021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–2