Verifiable Visualization for Isosurface Extraction | IEEE Journals & Magazine | IEEE Xplore