Alessandro Gianola

Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)

2023 · ENGLISH · PDF

View details →