Formal Aspects of Computing - The International Journal of Formal
Methods
Published by Springer - Editor-in-chief: Cliff Jones - Associate
Editor: John Cooke
Subscription details...see subscriptions to
BCS-FACS
Formal
Aspects of Computing Journal WWW Home page
A complete bibliography of papers published since the journal's
launch in 1989 is available in alphabetical
order, or in order
of publication or as a Bibtex
source file.
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.
Recent
Editorial Comments
Forthcoming
events related to formal methods.
Pointers
to information related to papers that have already appeared in
the journal (corrections, further work based on the original paper
etc).
There is now an electronic
supplement contaning full-length versions of papers which have
appeared as shorter summary papers in the printed journal.
Back to FACS Home page
comments/enquiries to: facs@lut.ac.uk