TY  - RPRT
TI  - Syntheto: A Surface Language for APT and ACL2
AU  - Alessandro Coglio
AU  - Eric McCarthy
AU  - Stephen Westfold
AU  - Daniel Balasubramanian
AU  - Abhishek Dubey
AU  - Gabor Karsai
PY  - 2022
DO  - 10.4204/eptcs.359.13
UR  - https://arxiv.org/abs/2205.11706
ID  - 2205.11706
ER  -