Követés
Kuruvilla George Aiyankovil
Kuruvilla George Aiyankovil
Researcher at Maynooth University
E-mail megerősítve itt: mumail.ie - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–2