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: