proves stuff about seL4, systems code, programming languages, security. Classical logician. Chief Scientist & Co-Founder at Proofcraft. @[email protected]

ID: 2493793278

linkhttp://doclsf.de calendar_today14-05-2014 06:19:20