Journal article
XRound: A reversible template language and its application in model-based security analysis
Authors
Chivers H; Paige RF
Journal
Information and Software Technology, Vol. 51, , pp. 876–893
Publication Date
May 1, 2009
DOI
10.1016/j.infsof.2008.05.006
ISSN
0950-5849