Formally verified write(2) syscall boundary in Fil-C

 (filnix.org)

2 points | by pizlonator 9 hours ago ago

No comments yet.