. "Formal Aspects of Computing.jpg"@en . . . . . . . . "Quarterly" . . . . . . . "1433-299X" . . "0934-5043" . . . "Quarterly"@en . . . . . . . . . . "Formal Aspects of Computing"@en . . . . . . . . "Form. Asp. Comput." . . . . . . . . . "1989"^^ . . . . . . "42939863"^^ . "Form. Asp. Comput."@en . "Formal Aspects of Computing"@en . "Formal Aspects of Computing (FAOC) 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 . . . . "1095295543"^^ . "42939863" . . "1961"^^ . . . . . . "2010"^^ . "2010"^^ . . . . "Formal Aspects of Computing"@en . . . . "1433"^^ . "1.17"^^ . . . . . . . . . "934"^^ . . "1.17"^^ . . . . . "1989"^^ . . . . "Formal Aspects of Computing (FAOC) 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 . . "2583869"^^ .