Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings /

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference...

Повний опис

Бібліографічні деталі

Співавтор:	SpringerLink (Online service)
Інші автори:	Kosmatov, Nikolai (Редактор), Kovács, Laura (Редактор)
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Редагування:	1st ed. 2025.
Серія:	Lecture Notes in Computer Science, 15234
Предмети:	Software engineering. Software Engineering.
Онлайн доступ:	https://doi.org/10.1007/978-3-031-76554-4
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!