Journal article published in "Computer Languages, Systems and Structures"!
1 January 2010
The journal article “Non-repudiation analysis using LySa with annotations”, by Brus, M., Cortesi, A., has just been published in “Computer Languages, Systems and Structures”! Available here.