RPTU Universitätsbibliothek

Mail an Autor*in

Heap-based reasoning about asynchronous programs (Dissertation)

Bitte geben Sie Ihre Kontaktdaten an, und wählen Sie aus, welchen der Autor*innen sie kontaktieren wollen.



 
  ______   _    _     _____    __   __     _____    ______  
 /_____// | || | ||  /  ___||  \ \\/ //   / ___//  /_   _// 
 `____ `  | || | || | // __     \ ` //    \___ \\   -| ||-  
 /___//   | \\_/ || | \\_\ ||    | ||     /    //   _| ||_  
 `__ `     \____//   \____//     |_||    /____//   /_____// 
 /_//       `---`     `---`      `-`'   `-----`    `-----`  
 `-`
 


Zurück zur Frontdoor