Wikipedia

Formal Aspects of Computing

Also found in: Acronyms.
Formal Aspects of Computing
Formal Aspects of Computing.jpg
DisciplineComputer science, formal methods
LanguageEnglish
Edited byJim Woodcock, Cliff Jones
Publication details
History1989–present
Publisher
FrequencyQuarterly
Impact factor
1.170 (2010)
Standard abbreviations
ISO 4Form. Asp. Comput.
Indexing
ISSN0934-5043 (print)
1433-299X (web)
OCLC no.42939863
Links

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]

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 copied from an article on Wikipedia® - the free encyclopedia created and edited by its online user community. The text was not checked or edited by anyone on our staff. Although the vast majority of Wikipedia® encyclopedia articles provide accurate and timely information, please do not assume the accuracy of any particular article. This article is distributed under the terms of GNU Free Documentation License.

Copyright © 2003-2025 Farlex, Inc Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.