External Links

    Journal: Formal Asp. Comput.

    Volume 23, Issue 2

    151 -- 0Zhiming Liu, Jim Woodcock. Editorial
    153 -- 170Andrew Butterfield. A denotational semantics for Handel-C
    171 -- 190Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang. Symbolic decision procedure for termination of linear programs
    191 -- 219Anne Elisabeth Haxthausen, Jan Peleska, Sebastian Kinder. A formal approach for the construction and verification of railway control systems
    221 -- 238Peter D. Mosses. VDM semantics of programming languages: combinators and monads
    runs on