According to our database1, Ruth Hardy authored at least 4 papers between 2003 and 2013.
Legend:Book In proceedings Article PhD thesis Other
Applications of real number theorem proving in PVS.
Formal Asp. Comput., 2013
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems.
Electr. Notes Theor. Comput. Sci., 2006
Design Verification for Control Engineering.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.
Proceedings of the Hybrid Systems: Computation and Control, 2003