# Ruth Hardy

According to our database

Collaborative distances:

^{1}, Ruth Hardy authored at least 4 papers between 2003 and 2013.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2013

Applications of real number theorem proving in PVS.

Formal Asp. Comput., 2013

2006

Interactions Between PVS and Maple in Symbolic Analysis of Control Systems.

Electr. Notes Theor. Comput. Sci., 2006

2004

Design Verification for Control Engineering.

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.

Proceedings of the Hybrid Systems: Computation and Control, 2003