Using theorem proving to verify properties of agent programs. In: (2010)

by URL http dx doi org10 1007s10458-010-9129-2 Alechina, N Dastani, M Logan, B Meyer, C J-J