Taxonomic Search: James Hook

3 results

Results

file

Visible to the public Programatica Tools for Certifiable, Auditable Development of High Assurance Systems in Haskell

License: 
Creative Commons 2.5
file

Visible to the public Programatica: Project Summary

License: 
Creative Commons 2.5
file

Visible to the public Trustworthy Kernel Separation through Monads

License: 
Creative Commons 2.5