A language for specifying program transf
β
Hildum, D.; Cohen, J.
π
Article
π
1990
π
IEEE
π
English
β 850 KB