![]() | Up a level |
Molinero Brizuela, Carlos (2009) A formal approach to the specification of hierarchical multi-agent systems. Tesis Master's thesis.
García Merayo, Mercedes and Andrés Sánchez, César and Molinero Brizuela, Carlos (2009) Advantages of mutation in passive testing: An empirical study. ICSTW 2009: IEEE International Conference on Software Testing, Verification, and Validation Workshops . 230-239 .