Publication
Detail
Publication date: 01/05/2012On the analysis of compensation correctness
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 |