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

Compositional Abstraction and Refinement for Aspects (CARA)

Slides from Kickoff meeting (Colorado Springs, CO, 31 July-1 Aug 2000) (gzipped postscript)

If you need a postscript viewer, follow the first link below.

Quadchart: gzipped postscript or powerpoint

Reports: Principal Investigator: Staff Members:


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