23rd International Conference on Formal Methods for Industrial Critical Systems (Event)
- Macedo, H. D. (Reviewer)
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