RPTU University Library

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