Formal Aspects of Computing

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

=ISSN information=

([http://springerlink.metapress.com/openurl.aspgenre=journal&issn=0934-5043 Paper])

([http://springerlink.metapress.com/openurl.aspgenre=journal&eissn=1433-299X Online])

= External links=

*[http://springerlink.metapress.com/link.aspid=102822 Springer MetaPress link] *[http://springerlink.metapress.com/openurl.aspgenre=issue&issn=0934-5043&issue=current Current print issue] *[http://springerlink.metapress.com/openurl.aspgenre=issue&eissn=1433-299X&issue=current Current electronic issue] *[http://springerlink.metapress.com/openurl.aspgenre=issue&issn=0934-5043&issue=currentsample Current print sample issue] *[http://springerlink.metapress.com/openurl.aspgenre=issue&eissn=1433-299X&issue=currentsample Current electronic sample issue] *[http://www.springeronline.com/journal/00165/about About the journal] *[http://www.springeronline.com/journal/00165/edboard Editorial board] *[http://www.springeronline.com/journal/00165/submission Manuscript submission information] *[http://www.informatik.uni-trier.de/~ley/db/journals/fac/ DBLP list of papers]