An approach for specification construction using property-preserving refinement patterns.

Junhua Ding, Lian Mo, Xudong He

Browse the full SAC paper archive.