Alan Hu
AuthID: R-00F-8RN
1
TITLE: Special Session on Debugging Full Text
AUTHORS: Yoav Hollander; Alan Hu; Joao Lourenco ; Ronny Morad;
PUBLISHED: 2011, SOURCE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
AUTHORS: Yoav Hollander; Alan Hu; Joao Lourenco ; Ronny Morad;
PUBLISHED: 2011, SOURCE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
