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

A Simplified Method for Establishing the Correctness of Architectural Refinements
 by Robert Riemenschneider.

BibTEX Entry
@Unpublished{riemenschneider97b,
    AUTHOR = {Robert {A.} Riemenschneider},
    TITLE = {{A} Simplified Method for Establishing the Correctness of Architectural Refinements},
    NOTE = {Available at \backslashurlhttp://www.sdl.sri.com/dsa/publis/simplified.html},
    URL = {http://www.sdl.sri.com/papers/simplified/}
}
Files
 













 

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