Refinement of Structured Interactive Systems.

Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu

Browse the full ICTAC paper archive.