フォロー
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