| emsoft | participants

Xiushan Feng

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Cutpoints for Formal Equivalence Verification of Embedded Software

Xiushan Feng and Alan J. Hu