Παρακολούθηση
Kuruvilla George Aiyankovil
Kuruvilla George Aiyankovil
Researcher at Maynooth University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mumail.ie - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–2