RPTU University Library

Send mail to Author

Program Logic for Weak Memory Concurrency (Doctoral Thesis)

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



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


Back to frontdoor view