SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Disappearing Formal Methods
 by Dr. John Rushby.

From High-Assurance Systems Engineering Symposium.
Association for Computing Machinery, Albuquerque, NM.
November, 2000.
Pages 95–96.


Abstract
The paper is an extended abstract.
BibTEX Entry
@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/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy