TY - CONF T1 - Co-testability Transformation JO - Dagstuhl Seminar Proceedings PY - 2008/01/01 AU - McMinn P ED - VL - 8051 Y2 - 2024/12/22 ER -