| Original language | English |
|---|---|
| Pages | 1-8 |
| Number of pages | 8 |
| Publication status | Published - 2014 |
| Event | International Workshop in Design and Implementation of Formal Tools and Systems: DIFTS 2014 - Lausanne, Switzerland Duration: 20 Oct 2014 → 20 Oct 2014 http://fmgroup.polito.it/cabodi/difts2014/ |
Workshop
| Workshop | International Workshop in Design and Implementation of Formal Tools and Systems |
|---|---|
| Abbreviated title | DIFTS 2014 |
| Country/Territory | Switzerland |
| City | Lausanne |
| Period | 20/10/14 → 20/10/14 |
| Internet address |