Efficient and User-Friendly Verification

Cite this paper

@article{Wang2002EfficientAU, title={Efficient and User-Friendly Verification}, author={Farn Wang and Pao-Ann Hsiung}, journal={IEEE Trans. Computers}, year={2002}, volume={51}, pages={61-83} }