Discover open access scientific publications

Search, annotate, share and cite publications

Publications by A Avellone

How to Avoid the Formal Verification of a Theorem Prover

Logic Journal of the IGPL

English