Communications in Formal Methods
- 5 pages in this 2-column format (local copy here)
- Using arxiv.org for submission and permanent storage
- Continuous submission
- Peer reviewed using continuous review process
- Experimental data uploaded and stored
- Authors retain copyright. Creative commons license.
- Articles remain freely available online
- Truly non-commercial: no up-front fees as in some of the so-called “open access” approaches, and no “Convenient author-pays publishing model”