Items where Author is "Stannett, M"

Group by: Item Type | No Grouping

Number of items: 1.

Stannett, M and Németi, István (2014) Using Isabelle/HOL to Verify First-Order Relativity Theory. JOURNAL OF AUTOMATED REASONING, 52 (4). pp. 361-378. ISSN 0168-7433

This list was generated on Thu May 8 06:53:29 2025 CEST.

Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.