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 |
| Summary: | 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 sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software. |
|---|---|
| Item Description: | International conference proceedings. |
| Physical Description: |
1 online resource (xxi, 438 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and author index. |
| ISBN: | 9783319668451 3319668455 3319668447 9783319668444 |
| ISSN: | 0302-9743 ; |