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

Ubiquitous Abstraction: A New Approach for Mechanized Formal Verification (Extended Abstract)
 by Dr. John Rushby.

From Second International Conference on Formal Engineering Methods (ICFEM '98).
IEEE Computer Society, Brisbane, Australia.
December, 1998.
Pages 176–178.


BibTEX Entry
@inproceedings{Rushby98:ICFEM,
    AUTHOR = {John Rushby},
    TITLE = {Ubiquitous Abstraction: {A} New Approach for Mechanized Formal Verification (Extended Abstract)},
    BOOKTITLE = {Second International Conference on Formal Engineering Methods (ICFEM '98)},
    YEAR = {1998},
    PAGES = {176--178},
    ADDRESS = {Brisbane, Australia},
    MONTH = {dec},
    ORGANIZATION = {{IEEE} Computer Society},
    URL = {http://www.csl.sri.com/papers/icfem98/}
}
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