Volume: Vol-4076 NWISEd 2025 | Year: 2025

Paper: « short8 | paper9 | short10 »

How Important are Formal Methods and Formal Logic for Software Engineering Education?

• Antti Valmari
• Veikko Halttunen

PDF