Detail

Publication date: 01/05/2012

On the analysis of compensation correctness

Authors

Carla Ferreira,

URL http://dx.doi.org/10.1016/j.jlap.2012.04.002
Journal Journal of Logic and Algebraic Programming
Publisher Universitat Politècnica de Catalunya
URL http://dx.doi.org/10.1016/j.jlap.2012.04.002
Journal Journal of Logic and Algebraic Programming
Publisher Universitat Politècnica de Catalunya