Lab for Automated Reasoning and Analysis 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”
 
cfm.txt · Last modified: 2013/05/09 20:11 by vkuncak
 
© EPFL 2018 - Legal notice