Guardol

MaRDI QIDQ40257swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-642-28756-5_3

Cited in

(2)

• RADA
• Reasoning about algebraic data types with abstractions

This page was built for software: Guardol