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]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page