Formal Aspects of Computing
Formal Aspects of Computing article starter with formal-methods metadata, methods, equations, results, discussion, and declarations.
- Files
- README.md, main.tex
- Licence
- UNKNOWN, © Cambridge University Press / Springer Formal Aspects of Computing
- Class
- Not bundled — ships with your TeX distribution
- Engine
pdflatex