A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems

Aquesta tesi apareix a les col·leccions següents