This is an old revision of the document!
Communications in Formal Methods
- 5 pages in this 2-column format (local copy here)
- Using arxiv.org for submission and permanent storage
- Peer reviewed
- Continuous submission
- Presentation at conference venues
- Experimental data uploaded and stored
- Authors retain copyright. Creative commons license