Curator 91 (talk | contribs) (Created page with "{{Event Series |Acronym=MEMOCODE |Title=International Conference on Formal Methods and Models for System Design |Recurrence Period=1 |Recurrence Unit=year |Academic Field=Form...") |
Curator 91 (talk | contribs) |
||
Line 4: | Line 4: | ||
|Recurrence Period=1 | |Recurrence Period=1 | ||
|Recurrence Unit=year | |Recurrence Unit=year | ||
− | |Academic Field=Formal Methods; Software Verification | + | |Academic Field=Formal Methods; Model Checking; Software Verification |
}} | }} | ||
{{Event Series Related Identifier | {{Event Series Related Identifier |
Latest revision as of 08:00, 12 October 2022
Events