Hermann Kaindl. High-level Verification and Validation of Software Supporting Business Processes. In Slimane Hammoudi, Michal Smialek, Olivier Camp, Joaquim Filipe, editors, ICEIS 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems, Volume 1, Porto, Portugal, April 26-29, 2017. pages 7-13, SciTePress, 2017.
Abstract is missing.