An Algorithm for Forward Reduction in Sequence-Based Software Specification.

Lan Lin, Yufeng Xue

Browse the full SEKE paper archive.