Amanote Research
Register
Sign In
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
Philosophy
Related publications
Saoithín: A Theorem Prover for UTP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Many-Sorted Logic in a Learning Theorem Prover
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The MODUS Approach to Formal Verification
Business Systems Research
Information Systems
Finance
Economics
Management Information Systems
Innovation
Management of Technology
Econometrics
Student Use of an Interactive Theorem Prover
Contemporary Mathematics
Mathematics
Modeling of ALFA Programs Using PVS Theorem Prover
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas
Why and How to Avoid a Desk-Rejection
Research in Nursing and Health
Nursing
Evaluation of the Larch/VHDL Interactive Prover in Hardware Verification
