Send mail to Author
Effective Approaches to Abstraction Refinement for Automatic Software Verification (Doctoral Thesis)Please indicate your contact information and select, which author you want to contact.
Please indicate your contact information and select, which author you want to contact.