Verified Formal Semantics for Domain-Specific Langauages

Project: Research

Project Details

StatusFinished
Effective start/end date24/01/1220/07/12