Ruth Hardy

	2006
3		Ruth Hardy: Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. Electr. Notes Theor. Comput. Sci. 151(1): 111-125 (2006)
	2004
2		Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin: Design Verification for Control Engineering. IFM 2004: 21-35
	2003
1		Richard J. Boulton, Ruth Hardy, Ursula Martin: A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. HSCC 2003: 113-125

Coauthor Index

1	Richard J. Boulton	[1] [2]
2	Hanne Gottliebsen	[2]
3	Tom Kelsey	[2]
4	Ursula Martin	[1] [2]