Asadullah Shaikh

Asadullah Shaikh

View graph of relations

  1. Published
  2. Published

    Efficient Verification-Driven Slicing of UML/OCL Class Diagrams

    Research output: Contribution to journalJournal article

  3. Published

    A Feedback Technique for Unsatisfiable UML/OCL Class Diagrams

    Research output: Contribution to journalJournal article

  4. Published

    Methods and Concepts for Efficient Verification of UML/OCL Models

    Research output: Book/anthology/thesis/reportPh.D. thesis

  5. Published

View all (5) »