Automated theorem proving for the systematic analysis of an infusion pump

Thumbnail Image
Date
2013
Authors
Michael Douglas Harrison
Paolo Masci
José Creissac Campos
Curzon,P
Journal Title
Journal ISSN
Volume Title
Publisher