MDGs

MaRDI QIDQ24060swMATHFDO

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

Cited in

(3)

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

This page was built for software: MDGs