TY  - RPRT
TI  - An Agile Formal Specification Language Design Based on K Framework
AU  - Jianyu Zhang
AU  - Long Zhang
AU  - Yixuan Wu
AU  - Feng Yang
PY  - 2024
UR  - https://arxiv.org/abs/2404.18515
ID  - 2404.18515
ER  -