[isabelle] open access journals in verification



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.