A Constraint Oriented Proof Methodology Based on Modal Transition Systems.

Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise

Browse the full TACAS paper archive.