22nd International Symposium on Formal Methods (Event)
- Macedo, H. D. (Editor)
Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research