LARA

Communications in Formal Methods

  • 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”