Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
Published on 15. November 2019
Book
Paperback/Softback
XVII, 554 pages
978-3-030-34967-7 (ISBN)
Description
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.
The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
More details
Series
Edition
2019 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
1397 s/w Abbildungen, 92 farbige Abbildungen
XVII, 554 p. 1489 illus., 92 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 31 mm
Weight
855 gr
ISBN-13
978-3-030-34967-7 (9783030349677)
DOI
10.1007/978-3-030-34968-4
Schweitzer Classification
Other editions
Additional editions
Wolfgang Ahrendt | Silvia Lizeth Tapia Tarifa
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
E-Book
11/2019
Springer
€53.49
Available for download