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