RPTU University Library

Send mail to Author

Verification Techniques for TSO-Relaxed Programs (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



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


Back to frontdoor view