Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
AuthID
P-003-B0P
P-003-B0P
© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service