Presentations
- Project summary at status report from February 2001 PI Meeting (San Diego).
- Project summary at status report from May 2001 PI Meeting (St. Louis).
- Automatic Derivation and Verification of Synchronization Aspects in Object Oriented Systems