Publication | Closed Access

Consistency and its converse: an introduction

Data ConsistencyEngineeringAutomated ReasoningVerificationFormal MethodsEpistemologyConsistency Technology