Efficient Reasoning on Finite Satisfiability in UML Class

Sign up to view full document!
SIGN UP
  • Slides: 50
Download presentation