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