Work in Progress: Enhancing Students' Learning Experience in Formal Methods through Practical Assignments
Year: 2025
Type: conference-paper
Author: Ruth Schorr
Institution: Frankfurt University of Applied Sciences
Language: English
Subfield: Computer Science Applications
Field: Computer Science
Domain: Physical Sciences
SDG: Quality education
Open Access status: closed
OpenAlex ID: W4410087194