Refinement Inference for Sequence Diagrams.

Lunjin Lu, Dae-Kyoo Kim

Browse the full SOFSEM paper archive.