Towards Correctness of Program Transformations Through Unification and Critical Pair Computation (2010)

by Conrad Rau , Manfred Schmidt-schauß , Johann Wolfgang Goethe-universität
Citations:1 - 1 self