Lecture Notes in Computer Science: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Sekerinski, Emil; Ribeiro, Leila

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.

The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.

Details

Published by: Springer

Publication Date: 2024-09-05

Format: Paperback

ISBN-13: 9783031713781

DOI: 10.1007/978-3-031-71379-8

Dimensions: 235cm x155cm

Pages: 141