ExplainHoudini

swMATH19491MaRDI QIDQ31318FDOQ31318

Author name not available (Why is that?)

Cited In (2)

• ExplainHoudini: Making Houdini Inference Transparent
• Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings

This page was built for software: ExplainHoudini