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