Formal Aspects of Computing

Formal Aspects of ComputingApplicable Formal Methods

Formal Aspects of Computing, published by Springer, is a journal of the BCS Formal Aspects of Computing Science Specialist Group.

It presents research and development results at the junction of computing theory and practice. Its principal aim is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems.

Visit the Springer website to

  • sign up for email table of contents alerts
  • get free access to top downloaded articles
  • search across articles by author or keyword
  • browse article abstracts
  • submit a paper
  • download full text articles (if your library has a subscription)
  • access the archive
  • and more!