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

Mechanized Formal Methods: Where Next?
 by Dr. John Rushby.

Lecture Notes in Computer Science, Volume 1708.
From FM99: The World Congress in Formal Methods.
Edited by Jeannette Wing and Jim Woodcock.
Springer Verlag, Toulouse, France.
sep }, 1999.
Pages 48–51.


BibTEX Entry
@INPROCEEDINGS{Rushby:FM99,
    AUTHOR = {John Rushby},
    TITLE = {Mechanized Formal Methods: Where Next?},
    VOLUME = {1708},
    YEAR = {1999},
    PAGES = {48--51},
    MONTH = {sep \}},
    ADDRESS = {Toulouse, France},
    URL = {http://www.csl.sri.com/papers/fm99/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {{FM99:} The World Congress in Formal Methods},
    PUBLISHER = {Springer Verlag},
    EDITOR = {Jeannette Wing and Jim Woodcock}
}
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