Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Sources
Formal Aspects of Computing
Home
Sources
Formal Aspects of Computing
Formal Aspects of Computing
Published by
Association for Computing Machinery (ACM)
ISSN 0934-5043
EISSN 1433-299X
Database Coverage
Scopus
SCIE
Ei Compendex
Inspec
Scilit
Journal Articles
All-time journal articles
1,140
2023 journal articles
25
Latest Publications