Formal Methods in System Design (Journal)

Activity: Publication peer-review and editorial work › Journal or guest editorship

Description

volume 37 (2-3) Selection of authors to be invited to submit, allocation of reviewers, decision on paper acceptance.