Showing 1 - 3 results of 3 for search 'Gottliebsen, H', query time: 0.02s
Refine Results
-
1
Hidden verification for computational mathematics by Gottliebsen, H, Kelsey, T, Martin, U
Published 2005Journal article -
2
Applications of real number theorem proving in PVS by Gottliebsen, H, Hardy, R, Lightfoot, O, Martin, U
Published 2013Journal article -
3
Design Verification for Control Engineering by Boulton, R, Gottliebsen, H, Hardy, R, Kelsey, T, Martin, U
Published 2004Conference item