Ana Bazzan;Franziska Klügl;Sascha Ossowski
-;-;-
Model checking agent programming languages
Automated Software Engineering