Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus.

Beata Konikowska

Browse the full MFCS paper archive.