ACM
Formal Aspects of Computing Template
Write your Formal Aspects of Computing paper in a clean editor and export a submission-ready PDF in the official ACM format — with numbered references and the editable LaTeX source. No LaTeX required.
Write your Formal Aspects of Computing paper in a clean editor and export a submission-ready PDF in the official ACM format — with numbered references and the editable LaTeX source. No LaTeX required.