Login / Signup
Automated theorem proving for the systematic analysis of an infusion pump.
Michael D. Harrison
Paolo Masci
José Creissac Campos
Paul Curzon
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
</>
data acquisition
automated theorem proving
data analysis
query language
statistical analysis
object oriented
knowledge management
theorem prover