TY  - RPRT
TI  - A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
AU  - Georgian-Vlad Saioc
AU  - Hans Hüttel
PY  - 2022
DO  - 10.4204/eptcs.369.4
UR  - https://arxiv.org/abs/2209.09471
ID  - 2209.09471
ER  -