| emsoft | participants

Alan J. Hu

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Cutpoints for Formal Equivalence Verification of Embedded Software

Xiushan Feng and Alan J. Hu