IFM 2019
From Openresearch
Jump to navigation
Jump to search
| IFM 2019
|
15th International Conference on Integrated Formal Methods
|
| Event in series
|
IFM
|
| Dates
|
2019/12/02 (iCal) - 2019/12/06
|
| Location
|
| Location:
|
Bergen, Norway
|
|
|
|
| Accepted short papers:
|
3
|
| Papers:
|
Submitted 95 / Accepted 25 (26.3 %)
|
| Table of Contents
|
|
|
|
|