A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems.

Antonio Cerone

Browse the full SEFM paper archive.