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.



 
  ______   __   __    ______    ______    _____      ___    
 /_   _//  \ \\/ //  /_____//  /_   _//  |__  //    / _ \\  
 `-| |,-    \ ` //   `____ `    -| ||-     / //    | / \ || 
   | ||      | ||    /___//     _| ||_    / //__   | \_/ || 
   |_||      |_||    `__ `     /_____//  /_____||   \___//  
   `-`'      `-`'    /_//      `-----`   `-----`    `---`   
                     `-`                                    
 


Back to frontdoor view