On the analysis of compensation correctness

Citation:
Vaz, C, Ferreira C.  2012.  On the analysis of compensation correctness. J. Log. Algebr. Program.. 81:585-605., Number 5

Abstract:

n/a

Notes:

n/a