Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | Integrated Formal Methods |
Subtitle of host publication | 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings |
Editors | Nadia Polikarpova, Steve Schneider |
Place of Publication | Cham |
Publisher | Springer |
Pages | 357-371 |
Number of pages | 15 |
ISBN (Electronic) | 9783319668451 |
ISBN (Print) | 9783319668444 |
DOIs | |
State | Published - 2017 |
Event | 13th International Conference on integrated Formal Methods (iFM 2017) - University of Torino, Torino, Italy Duration: 18 Sep 2017 → 22 Sep 2017 Conference number: 13 http://ifm2017.di.unito.it/ |
Name | Lecture Notes in Computer Science (Programming and Software Engineering) |
---|---|
Publisher | Springer International Publishing |
Volume | 10510 |
ISSN (Electronic) | 0302-9743 |
Conference | 13th International Conference on integrated Formal Methods (iFM 2017) |
---|---|
Abbreviated title | iFM |
Country | Italy |
City | Torino |
Period | 18/09/17 → 22/09/17 |
Internet address |
Discover related content
Find related publications, people, projects and more using interactive charts.
Research output: Contribution to journal › Abstract
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
ID: 250186679