Formal Methods in System Design (FMSD) (Journal or book series)

Armin Biere (Editor or reviewer)

Institute of Formal Models and Verification

Activity: Publication peer-review and editorial work › Publication Peer-review or Editorial work (legacy data)

Period	01 Jan 2020 → 15 Dec 2020
Type of journal	Journal

Fields of science

202006 Computer hardware
603109 Logic
102 Computer Sciences
102031 Theoretical computer science
102011 Formal languages
102022 Software development
102001 Artificial intelligence