Curator 91 (talk | contribs) |
Curator 91 (talk | contribs) |
||
| Line 5: | Line 5: | ||
|Academic Field=Formal Methods | |Academic Field=Formal Methods | ||
|Official Website=https://fmics.inria.fr/ | |Official Website=https://fmics.inria.fr/ | ||
| + | |DOI=10.25798/rq6y-6r76 | ||
}} | }} | ||
{{Event Series Related Identifier | {{Event Series Related Identifier | ||
Latest revision as of 11:34, 21 August 2023
Events
