F. WangP.-A. HsiungFARN WANG2018-09-102018-09-102002-01http://scholars.lib.ntu.edu.tw/handle/123456789/299210Efficient and User-Friendly Verification.journal article10.1109/12.9800172-s2.0-0036158371WOS:000173862900005