Program Inconsistency Detection: Universal Reachability Analysis and Conditional Slicing

Paperback / softback