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