Formal Aspects of Computing [SEP] publisher
Formal Aspects of Computing
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.
See also.
- "
SIAM Journal on Computing
The SIAM Journal on Computing is a scientific journal focusing on the mathematical and formal aspects of computer science. It is published by the Society for Industrial and Applied Mathematics (SIAM).
Although its official ISO abbreviation is "SIAM J. Comput.", its publisher and contributors frequently use the shorter abbreviation "SICOMP".
External links.
- SIAM Journal on Computing
- bibliographic information on DBLP