seL4 Technical White Paper
A technical white-paper starter with an executive summary, design principles, work packages, measures, risks, and a decision request.
- Files
- README.md, main.tex
- Licence
- UNKNOWN, © seL4 Project (licence/provenance not established for this source bundle)
- Class
- Not bundled — ships with your TeX distribution
- Engine
pdflatex
Early access
Volt
A next-generation LaTeX editor. Compiles in milliseconds, understands your bibliography, and keeps the manuscript, the data and the code in one place.
Register for early access — no spam, one click to unsubscribe.