"1.17"^^ . "42939863" . "1989Z"^^ . . . "Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170."@en . "Formal Aspects of Computing"@en . "2010Z"^^ . . "Quarterly" . "0934-5043" . . . "1433-299X" . .