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