Automated theorem proving for the systematic analysis of an infusion pump
Automated theorem proving for the systematic analysis of an infusion pump
Date
2013
Authors
Michael Douglas Harrison
Paolo Masci
José Creissac Campos
Curzon,P