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