IFM 2018
From Openresearch
Jump to navigation
Jump to search
| IFM 2018
|
14th International Conference on Integrated Formal Methods
|
| Event in series
|
IFM
|
| Dates
|
2018/09/05 (iCal) - 2018/09/07
|
| Location
|
| Location:
|
Maynooth, Ireland
|
|
|
|
| Accepted short papers:
|
5
|
| Papers:
|
Submitted 60 / Accepted 17 (28.3 %)
|
| Table of Contents
|
|
|
|
|