Guardol

swMATH28543MaRDI QIDQ40257FDOQ40257

Author name not available (Why is that?)

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