RPTU Universitätsbibliothek

Mail an Autor*in

Program Logic for Weak Memory Concurrency (Dissertation)

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



 
  _  _     _____      _____     ___               __   __  
 | \| ||  |  ___||   / ___//   / _ \\    ____     \ \\/ // 
 |  ' ||  | ||__     \___ \\  | / \ ||  |    \\    \ ` //  
 | .  ||  | ||__     /    //  | \_/ ||  | [] ||     | ||   
 |_|\_||  |_____||  /____//    \___//   |  __//     |_||   
 `-` -`   `-----`  `-----`     `---`    |_|`-`      `-`'   
                                        `-`
 


Zurück zur Frontdoor