Gaya APA

Visser, R, H, B, M, F, M, W, A, W. (2009). Property-based Slicing for Agent Verification . : .

Gaya MLA

Visser, Rafael, H., Bordini,, Michael, Fisher,, Michael, Wooldridge,, And, Willem. "Property-based Slicing for Agent Verification". : , 2009. Text.