Worker/Wrapper Transformation

swMATH29534MaRDI QIDQ41248FDOQ41248

Author name not available (Why is that?)

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