Formal Aspects of Computing

Formal Aspects of Computing  
Discipline Computer science, formal methods
Language English
Edited by Jim Woodcock, Cliff Jones
Publication details
Publisher
Publication history
1989–present
Frequency Quarterly
1.170
Indexing
ISSN 0934-5043 (print)
1433-299X (web)
OCLC no. 42939863
Links

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

  1. "Formal Aspects of Computing". 2010 Journal Citation Reports. Web of Science (Science ed.) (Thomson Reuters). 2011.

External links

This article is issued from Wikipedia - version of the Saturday, March 19, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.