Verification of Data-Aware Processes via Satisfiability Modulo Theories
by Alessandro Gianola
English | 2023 | ISBN: 3031427459 | 335 Pages | True PDF | 4.71 MB
by Alessandro Gianola
English | 2023 | ISBN: 3031427459 | 335 Pages | True PDF | 4.71 MB