TY  - JOUR

T1  - Using Isabelle/HOL to Verify First-Order Relativity Theory

JO  - Journal of Automated Reasoning

UR  - http://eprints.whiterose.ac.uk/76527/

PY  - 2014/04/01

AU  - Stannett MP

AU  - Németi I

ED  - 

DO  - DOI: 10.1007/s10817-013-9292-7

PB  - Springer

VL  - 52

IS  - 4

SP  - 361

EP  - 378

Y2  - 2024/12/23

ER  -