Rick Hicks presented at RulesFest 2009.
RH
Community profile
Rick Hicks
Rule-system verification testing
Areas of expertise
VerificationTestingLogic Systems
DMCommunity activity
2 indexed itemsDecisionCAMP presentations
Automated Verification Testing for Propositional Logic Systems
DecisionCAMP 2009 conference programme
Proposition Logic System
DecisionCAMP 2008 conference programme