[isabelle] open access journals in verification


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.