High-level Verification and Validation of Software Supporting Business Processes.

Hermann Kaindl

Browse the full ENASE paper archive.