Formal Aspects of Computing

*Formal Aspects of Computing*
Discipline	Computer science, formal methods
Language	English
Edited by	Jim Woodcock, Cliff Jones
Publication details
Publication history	1989–present
Publisher	Springer Science+Business Media
Frequency	Quarterly
Impact factor; (2010)	1.170
Standard abbreviations
ISO 4	Formal Aspects Comput.
Indexing
ISSN	0934-5043 (print); 1433-299X (web);
OCLC no.	42939863
Links
	Journal homepage; Online access;

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.^[1]

References

↑ "Formal Aspects of Computing". 2010 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2011. |access-date= requires |url= (help)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.