| |
|
|
Next: Bibliography Up: VIS Previous: Concluding Remarks AcknowledgmentsWe would like to thank Adrian Isles, Sriram Rajamani, and Serdar Tasiran for their assistance in developing VIS.
The development of VIS was supported in part by the SRC under contract
96-DC-324 and by generous financial contributions from BNR, Cadence,
California Micro, Fujitsu, and Motorola.
Roderick Bloem 2001-05-21 |