Transformation technique of algebraic specification.

Liqun Jin, Jiahua Qian

Browse the full COMPSAC paper archive.