Login / Signup

Syntheto: A Surface Language for APT and ACL2.

Alessandro CoglioEric McCarthyStephen J. WestfoldDaniel BalasubramanianAbhishek DubeyGabor Karsai
Published in: ACL2 (2022)
Keyphrases