Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods.

Amelia Badica, Costin Badica

Browse the full AIMSA paper archive.