DMCA

Using theorem proving to verify properties of agent programs

by N. Alechina, et al.
Citations:1 - 0 self