Program Transformation in Calculational Form (1998)

View PDF

Download Links

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