HECTOR

swMATH13320MaRDI QIDQ25235FDOQ25235

Author name not available (Why is that?)

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