23rd International Conference on Formal Methods for Industrial Critical Systems (Begivenhed)
- Macedo, H. D. (Fagfællebedømmer)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning