Journal of Logical and Algebraic Methods in Programming > 2017 > 93 > C > 68-91
Source
Abstract
Identifiers
journal ISSN : | 2352-2208 |
DOI | 10.1016/j.jlamp.2017.09.002 |
Journal of Logical and Algebraic Methods in Programming > 2017 > 93 > C > 68-91
journal ISSN : | 2352-2208 |
DOI | 10.1016/j.jlamp.2017.09.002 |