Efficient Functional Decomposition Algorithm Based on Indexed Partition Calculus.

Mariusz Rawski, Pawel Tomaszewicz, Piotr Szotkowski

Browse the full ICSEng paper archive.