International Symposium on Games, Automata, Logics, and Formal Verification (Event)
- Radu Mardare (Editorial board member)
Activity: Publication peer-review and editorial work types › Membership of peer review panel or committee
Activity: Publication peer-review and editorial work types › Membership of peer review panel or committee