TY  - CONF

T1  - Co-testability Transformation

JO  - Dagstuhl Seminar Proceedings

PY  - 2009/01/01

AU  - McMinn P

ED  - 

VL  - 8351

Y2  - 2025/01/13

ER  -