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