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