LA

L Astefanoaei

2 records found

Authored

Using rewrite strategies for testing BUpL agents
Journal article (2010) - L Astefanoaei, FS de Boer, M.B. van Riemsdijk

Using the Maude term rewriting language for agent development with formal foundations.
Book chapter (2010) - M.B. van Riemsdijk, L Astefanoaei, FS de Boer