Martin, Ursula - Department of Computer Science, Queen Mary, University of London

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Martin, Ursula - Department of Computer Science, Queen Mary, University of London

A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
Lightweight Formal Methods For Computer Algebra Systems Martin Dunstan, Tom Kelsey, Steve Linton and Ursula Martin