Godunov method for computerized lung cancer cryosurgery planning with efficient freezing time | IEEE Conference Publication | IEEE Xplore