FA

Formal Aspects of Computing

Journal

Springer Science+Business Media

1,239

Publications

22,581

Citations

Loading papers...

Search by keywords

Filter by Type

Article (1,146)
Editorial (81)
Preprint (7)
Erratum (2)
Paratext (2)

Filter by Open Access Type

Open Access (339)
Closed Access (900)

Filter by Authors

Jim Woodcock (33)
Ana Cavalcanti (23)
Cliff B. Jones (23)
Wim H. Hesselink (16)
John Derrick (16)

Filter by Topics

Formal Methods in Verification (599)
Logic, programming, and type systems (437)
Distributed systems and fault tolerance (152)
Logic, Reasoning, and Knowledge (148)
Model-Driven Software Engineering Techniques (133)