Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 6 > 1234-1267
Source
Abstract
Identifiers
journal ISSN : | 2352-2208 |
DOI | 10.1016/j.jlamp.2016.05.003 |
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 6 > 1234-1267
journal ISSN : | 2352-2208 |
DOI | 10.1016/j.jlamp.2016.05.003 |