When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications

Rance Cleaveland, Bernhard Steffen

Browse the full LICS paper archive.