Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Formal Aspects of Computing
open-in-new
<p><i>Formal Aspects of Computing</i> (<i>FAC</i>) is a <a href="/facts/Peer_review/ly6yEgcW">peer-reviewed</a> Gold <a href="/facts/Open_access/r7rLYN6C">Open Access</a> journal published by <a href="/facts/Association_for_Computing_Machinery/abI2atlP">Association for Computing Machinery</a> (ACM) and BCS <a href="/facts/British_Computer_Society/2Fy6gNq9">(the British Computer Society</a>, the Chartered Institute for IT). The journal is closely associated with <a href="https://www.fmeurope.org/">Formal Methods Europe</a>. </p>