Norion Formal Methods Research
SHORT CODE
NFMR4
MODEL
Continuous publication
STATUS
In preparation - editorial board being constituted
Aims and scope
International original research across formal methods. Norion Formal Methods Research publishes continuously: accepted articles appear the day of acceptance, each with its own article number in the year's rolling volume. Every submission is peer reviewed, and every decision rests with the journal's editors.