Search Results - Przigoda, Nils

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    Published Springer International Publishing : Imprint: Springer, 2018.
    Full-text access
    e-Book

Search Tools: