eFLINT: a domain-specific language for executable norm specifications.

L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom M. van Engers

Browse the full GPCE paper archive.