UNIVERSITÄTSBIBLIOTHEK

Send mail to Author

Heap-based reasoning about asynchronous programs (Doctoral Thesis)

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



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


Back to frontdoor view