Search results for: Vlad Rusu
Journal of Logical and Algebraic Methods in Programming > 2017 > 93 > C > 68-91
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 1(P1) > 98-120
Journal of Logical and Algebraic Methods in Programming > 2017 > 93 > C > 68-91
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 1(P1) > 98-120