Segueix
Kuruvilla George Aiyankovil
Kuruvilla George Aiyankovil
Researcher at Maynooth University
Correu electrònic verificat a mumail.ie - Pàgina d'inici
Títol
Citada per
Citada per
Any
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
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–2