Francais | English | Espanõl

Formal Aspects of Computing

From Wikipedia, the free encyclopedia

Jump to: navigation, search

The Formal Aspects of Computing journal is published by Springer. It coveres 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

[edit] External links

Personal tools