author : Leila Silva

Short works

• ParTS: A Partitioning Transformation System. 1999. (In FM'99 volume 2 )