Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20--22, 2017. Proceedings (Q2402686)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20--22, 2017. Proceedings |
scientific article |
Statements
Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20--22, 2017. Proceedings (English)
0 references
13 September 2017
0 references
