News
SysV: note on confidentiality preserving refinement
Written on 14.12.2020 14:07 by Hamed Nemati
I posted a note about the specific simulation relation that we used to get the confidentiality preserving refinement in our Rocketchat channel. Please checked it out!