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 |
---|