@inproceedings{hase00,
    AUTHOR = {John Rushby},
    TITLE = {Disappearing Formal Methods},
    BOOKTITLE = {High-Assurance Systems Engineering Symposium},
    YEAR = {2000},
    PAGES = {95--96},
    ADDRESS = {Albuquerque, {NM}},
    MONTH = {nov},
    PUBLISHER = {Association for Computing Machinery},
    URL = {http://www.csl.sri.com/papers/hase00/}
}