Inverse relations

[ .. ] → schema:isBasedOn → An executable theory of multi-agent systems refinement / Lăcrămioara Aştefănoaei