An Architecture with Multiple Meta-Levels for the Development of Correct Programs.

Barbara Dunin-Keplicz

Browse the full LOPSTR paper archive.