Formal Aspects of Computing
From Infogalactic: the planetary knowledge core
Lua error in Module:Infobox at line 314: malformed pattern (missing ']'). 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.[1]
See also
References
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references> tag; parameter "group" is allowed only.
<references />, or <references group="..." />External links
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
Categories:
- Pages with reference errors
- Articles with outdated impact factors from 2010
- Official website not in Wikidata
- Publications established in 1989
- Computer science journals
- Formal methods publications
- British Computer Society
- Springer Science+Business Media academic journals
- Quarterly journals
- English-language journals
