Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA
Sonia Santiago Pinazo · 2015
su apoyo incondicional.Su ejemplo de esfuerzo y trabajo duro ha sido siempre mi inspiración.To my parents, Juan and Rosa, for their unconditional support.Their example of effort and hard work has always been my inspiration.