Formal Aspects of Computing Science
Formal Aspects of Computing
The International Journal of Formal Methods
Published by Springer
Editor-in-chief: Cliff Jones -
Associate Editor: John Cooke
For current members' subscription details please see subscriptions to BCS-FACS. Further
details of the journal can be found at the
Formal
Aspects of Computing Journal Home Page
A complete bibliography of papers published from 1989 (when the journal was launched) to 1996
is available in
Details of papers published from 1998 are available
here
If you would like to submit a paper to the journal in LaTeX
format, you should use this
LaTeX style file and consult the style
guide.
Further information can be found in the Instructions for
Authors which appear in each issue of Formal Aspects of Computing.
| 