Manuals


Release Notes

HISTORY History of the SpecC system
COPYRIGHT Copyright, authors and contact information

Publications

SpecC-related Technical Reports, Papers, book chapters, etc.

03/11/03 A. Gerstlauer (gerstl@cecs.uci.edu).