RPTU University Library

Send mail to Author

Clock Refinement in Imperative Synchronous Languages (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



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


Back to frontdoor view