MDGs

swMATH12127MaRDI QIDQ24060FDOQ24060

Author name not available (Why is that?)

Official website: http://hvg.ece.concordia.ca/mdg/

Cited In (3)

• LCF-style Platform based on Multiway Decision Graphs
• Automatic verification of reduction techniques in higher order logic
• InVeSt

This page was built for software: MDGs