Extracting Behavioral Models from Service Implementations.

Ioana Sora, Doru-Thom Popovici

Browse the full ENASE paper archive.