External Links

    Journal: Formal Asp. Comput.

    Volume 8, Issue 1

    3 -- 46Paulo S. C. Alencar, Carlos José Pereira de Lucena. A Logical Framework for Evolving Software Systems
    47 -- 66Peter Gorm Larsen, Bo Stig Hansen. Semantics of Under-determined Expressions
    67 -- 85Karen Seidel, Paul H. B. Gardiner. Structured Development of a Virtual Shared Memory System
    86 -- 107Martin Simons, Matthias Weber. An Approach to Literate and Structured Formal Developments
    108 -- 126David Billington, R. Geoff Dromey. The Co-invariant Generator: An Aid in Deriving Loop Bodies
    runs on