SMCHR

MaRDI QIDQ21305swMATHFDO

Official website http://www.google.de/#sclient=psy&hl=de&source=hp&q=SMCHR

Cited in

(2)

• SMCHR: satisfiability modulo constraint handling rules
• Shape neutral analysis of graph-based data-structures

This page was built for software: SMCHR