01524nam 22004093 450 991111452710332120260522080321.09783032267436(CKB)47621617600041(MiAaPQ)EBC32760552(Au-PeEL)EBL32760552(OCoLC)1592687860(EXLCZ)994762161760004120260522d2026 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierFormal Methods Teaching 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings1st ed.Cham :Springer,2026.©2026.1 online resource (203 pages)Lecture Notes in Computer Science Series ;v.165669783032267429 This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions.The book also contains two invited talks in full paper length.Lecture Notes in Computer Science SeriesCarvalho Gustavo1916567Carvalho1916568MiAaPQMiAaPQMiAaPQBOOK9911114527103321Formal Methods Teaching4659168UNINA