Towards a Formal Definition of the Control in Structured Programs.

Luigia Carlucci Aiello, Ugo Montanari

Browse the full MFCS paper archive.