UNIVERSITÄTSBIBLIOTHEK

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