Validating Library Usage Interactively

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39799-8_56 ◽

2013 ◽

pp. 796-812 ◽

Author(s):

William R. Harris ◽

Guoliang Jin ◽

Shan Lu ◽

Somesh Jha

Download Full-text