Guardol

swMATH28543MaRDI QIDQ40257FDOQ40257

Author name not available (Why is that?)

Cited In (1)

• Reasoning about algebraic data types with abstractions

This page was built for software: Guardol