Finite-Element Analysis ofEx VivoandIn VivoHepatic Cryoablation | Synapse