Program Transformation in Calculational Form (1998)

Cached

Download Links

by Akihiko Takano , Zhenjiang Hu , Masato Takeichi
Citations:4 - 4 self