Schließen

Send mail to Author

On synthesising Linux kernel module components from Coq formalisations (Doctoral Thesis)

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



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


Back to frontdoor view

KOBV Logo  OAI Logo  DINI Zertifikat 2007  OA Netzwerk Logo

Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.