Property-based Slicing for Agent Verification | UPT Perpustakaan UHAMKA