Formal Aspects of Computing

From Wikipedia, the free encyclopedia

The Formal Aspects of Computing journal is published by Springer. It covers the area of formal methods and associated topics in computer science. The Editor-in-Chief is Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group.

[edit] ISSN information

• ISSN 0934-5043 (Paper)
• ISSN 1433-299X (Online)

[edit] External links

• Springer MetaPress link
• Current print issue
• Current electronic issue
• Current print sample issue
• Current electronic sample issue
• About the journal
• Editorial board
• Manuscript submission information
• DBLP list of papers