SPECC: Specification Language and Methodology Zhao, Daniel D. Gajski; Jianwen Zhu; Rainer Dömer; Andreas Gerstlauer; Shuqing Digital bok / 2020 / Engelsk
