An edition of SpecC (2000)
Specification Language and Methodology
By Daniel D. Gajski,Jianwen Zhu,Rainer Dömer,Andreas Gerstlauer,Shuqing Zhao
Publish Date
March 1, 2000
Publisher
Springer
Language
eng
Pages
333