XRound: a reversible template language and its application in model-based security analysis

• Autores: Howard Chivers, Richard F. Paige
• Localización: Information and software technology, ISSN 0950-5849, Vol. 51, Nº 5, 2009, págs. 876-893
• Idioma: inglés
• Texto completo no disponible (Saber más ...)