Difference between revisions of "IFM 2018"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=IFM 2018 |Title=14th International Conference on integrated Formal Methods |Series=IFM |Type=Conference |Start date=2018/09/05 |End date=2018/09/07 |City=Mayn...") |
|||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=IFM 2018 | |Acronym=IFM 2018 | ||
− | |Title=14th International Conference on | + | |Title=14th International Conference on Integrated Formal Methods |
|Series=IFM | |Series=IFM | ||
|Type=Conference | |Type=Conference |