Segui
Kuruvilla George Aiyankovil
Kuruvilla George Aiyankovil
Researcher at Maynooth University
Email verificata su mumail.ie - Home page
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–2