@article{Etiene:2009:VVIE,
    author = {Tiago Etiene and Carlos Scheidegger and Luis Gustavo Nonato and Robert Mike Kirby and Claudio Silva},
    title = {Verifiable Visualization for Isosurface Extraction},
    year = {2009},
    month = {November-December},
    journal = {IEEE Transactions on Visualization and Computer Graphics
            (Proceedings Visualization 2009)},
    volume = {15},
    number = {6},
    pages = {1227-1234},
    doi = {http://doi.ieeecomputersociety.org/10.1109/TVCG.2009.194},
    publisher = {IEEE Computer Society},
    address = {Los Alamitos, CA, USA},
}