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.