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