Constraint-based verification

Descrição: Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It re... Veja mais