Formal Aspects of Computing
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.
Wikipage disambiguates
Wikipage redirect
primaryTopic
Formal Aspects of Computing
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.
has abstract
Formal Aspects of Computing (F ...... a 2010 impact factor of 1.170.
@en
academic discipline
first publication year
frequency of publication
impact factor
impact factor as of
issn
OCLC
publisher
Wikipage page ID
Wikipage revision ID
710,861,634
link
link1-name
subject
hypernym
comment
Formal Aspects of Computing (F ...... a 2010 impact factor of 1.170.
@en
label
Formal Aspects of Computing
@en
wasDerivedFrom
homepage
isPrimaryTopicOf
name
Formal Aspects of Computing
@en