Home
News
Publications
Projects
Software
People
Contact
Norms
eFlint
A domain-specific language for executable norm specifications
Cite
×