Constraint-based verification by Jun Yuan | Menrva Books | MenrvaBooks