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