Login / Signup

Formal specification of agent-object oriented programs.

Francesco PagliarecciLuca SpalazziMark-Oliver StehrCarolyn L. Talcott
Published in: CTS (2008)
Keyphrases