Loading…
Integrated formal methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical...
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2017.
|
| Series: | Lecture notes in computer science ;
10510. Lecture notes in computer science. Formal methods. LNCS sublibrary. Programming and software engineering. |
| Physical Description: |
1 online resource (xxi, 438 pages) : illustrations. |
| Subjects: | |
| Online Access: | SpringerLink - Click here for access |
| Copy 1 | CMU Electronic Access | Available |
|---|