@inproceedings{inproceedings, title = {{Co-testability Transformation}}, url = {{}}, year = {{2009}}, month = {{1}}, author = {{McMinn P}}, volume = {{8351}}, journal = {{Dagstuhl Seminar Proceedings}}, note = {{Accessed on 2024/12/22}}}