Search results for: Manuel A. Martins
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1057-1085
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1011-1037
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1057-1085
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1011-1037