DMCA

ABSTRACT The Formal Execution Semantics of SpecC

by Wolfgang Mueller