Daniel Sebastian Goc — Federated Logic Conference 2026

Skip to content

PROGRAM AUTHORS KEYWORDS Search

Daniel Sebastian Goc

Daniel Sebastian Goc

Pages in this Program

Abduction Prover in Isabelle/HOL

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:

🔍 ↑