HECTOR

MaRDI QIDQ25235swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-31424-7_63

Cited in

(7)

• C-SHORe
• GTRECS2
• HOMER
• SymDiff
• JBMC
• coneqct
• C-SHORe: a collapsible approach to higher-order verification

This page was built for software: HECTOR