出版地址：ASSOC COMPUTING MACHINERY, 1601 Broadway, 10th Floor, NEW YORK, Usa, NY, 10019-7434
期刊简介：Formal Aspects of Computing《计算形式问题》（季刊）. This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.
