Edmund Clarke

Islam, M. A., Lim, H., Paoletti, N., Abbas, H., Jiang, Z., Cyranka, J., et al. (2016). Cybercardia project: Modeling, verification and validation of implantable cardiac devices. 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Presented at the. IEEE.