TY  - CONF

T1  - Co-testability Transformation

JO  - Dagstuhl Seminar Proceedings

PY  - 2009/01/01

AU  - McMinn P

ED  - 

VL  - 8351

Y2  - 2024/12/23

ER  -