Search results for: Norihiro Tsumagari
Journal of Logical and Algebraic Methods in Programming > 2017 > 90 > C > 84-101
Journal of Logical and Algebraic Methods in Programming > 2014 > 83 > 2 > 263-283
Journal of Logical and Algebraic Methods in Programming > 2017 > 90 > C > 84-101
Journal of Logical and Algebraic Methods in Programming > 2014 > 83 > 2 > 263-283