Formal Methods Teaching
Subtitle: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031713781