next up
Next: Proposed Co-operation: Hardware/Software Up: Provably Correct Hardware/Software Codesign


Final Periodic Progress Report

Augusto Sampaio
Keep In Touch Exploratory Activity KIT 142
Period: October/96---September/1997





Augusto Cesar Alves Sampaio
Thu Feb 5 09:39:09 EST 1998