no code implementations • 15 Apr 2020 • Adrien Ycart, Lele Liu, Emmanouil Benetos, Marcus T. Pearce
This technical report gives a detailed, formal description of the features introduced in the paper: Adrien Ycart, Lele Liu, Emmanouil Benetos and Marcus T. Pearce.