Re: [isabelle] open access journals in verification



There's Logical Methods in Computer Science which touches on verification, and of course our trusted AFP <https://www.isa-afp.org/> which you could argue may or may not be a journal.


> On 17 Oct 2017, at 09:34, Gergely Buday <buday.gergely at uni-eszterhazy.hu> wrote:
> 
> Hi,
> 
> I am looking for journals that allow open access -- in the area of verification.
> 
> Journal of Formalized Reasoning is such a one.
> 
> Journal of Automated Reasoning has a 2200 â open access fee.
> 
> What are other venues for this purpose?
> 
> - Gergely
> 




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.