External Links

    Journal: Sci. Ann. Cuza Univ.

    Volume 27, Issue 1

    1 -- 18Jan A. Bergstra, Inge Bethke. Subvarieties of the Variety of Meadows
    19 -- 76Paola Giannini, Albert Shaqiri. A Provably Correct Compilation of Functional Languages into Scripting Languages
    77 -- 109Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001. Model Checking Delay Differential Equations Against Metric Interval Temporal Logic
    runs on