Worker/Wrapper Transformation

MaRDI QIDQ41248swMATHFDO

Official website https://www.isa-afp.org/entries/WorkerWrapper.html

Cited in

(1)

• Automated Reasoning in Higher-Order Regular Algebra

This page was built for software: Worker/Wrapper Transformation