TY  - JOUR

T1  - Using Isabelle to verify special relativity, with application to hypercomputation theory

PY  - 2014/04/01

AU  - Stannett M

AU  - Németi I

ED  - 

Y2  - 2025/04/28

ER  -