Treffer: Work in Progress: ESPECIFICA++, a DSL for Developing the Competency of Formal Specification in Computer Programming Education
Title:
Work in Progress: ESPECIFICA++, a DSL for Developing the Competency of Formal Specification in Computer Programming Education
Authors:
Source:
2025 IEEE Engineering Education World Conference (EDUNINE) Engineering Education World Conference (EDUNINE), 2025 IEEE. :1-4 Mar, 2025
Relation:
2025 IEEE Engineering Education World Conference (EDUNINE)
Database:
IEEE Xplore Digital Library