"Instantiating Uninterpreted Functional Units and Memory System: Functional ..."

Sven Beyer et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics