Formal Aspects of Computing

Formal Aspects of Computing publishes scholarly articles examining novel vital contributions in the fields of General Computer Science and Software Engineering & Programming. Formal Aspects of Computing publishes original scientific documents which undergo peer review by experts in the field. The journal encourages submissions from the research community where attention will be on the novelty and the practical importance of the reported research.

Formal Aspects of Computing is listed in a wide range of abstracting and indexing datasets such as Scopus, Web of Science and Guide2Research. A significant number of leading scholars have published their research contributions at this Journal including Holger Hermanns, Jose Meseguer, Cliff B Jones and Christel Baier.

For extra information on the instructions and submission provisions for authors, it is recommended to visit the journal website for Formal Aspects of Computing at https://www.springer.com/journal/165 .