Formal Aspects of Computing ( FAOC ) es una revista científica revisada por pares publicada por Springer Science+Business Media , que cubre el área de métodos formales y temas asociados en informática . Los editores en jefe son Jim Woodcock y Cliff Jones . La revista está asociada con BCS-FACS , elGrupo de Especialistas en Aspectos Formales de Ciencias de la Computación de la Sociedad Británica de Informática . Según Journal Citation Reports , la revista tiene un factor de impacto en 2010de 1,170. [1]