Finite-Element Analysis of Ex Vivo and In Vivo Hepatic Cryoablation | IEEE Journals & Magazine | IEEE Xplore