External Links

    Journal: Formal Asp. Comput.

    Volume 10, Issue 3

    193 -- 213Jürgen Dingel, David Garlan, Somesh Jha, David Notkin. Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning
    233 -- 242Richard F. Paige. Heterogeneous Notations for Pure Formal Method Integration
    243 -- 247Martin C. Henson. The Standard Logic of Z is Inconsistent
    248 -- 266Luc Léonard, Guy Leduc. A Formal Definition of Time in LOTOS
    267 -- 289Ana Cavalcanti, Jim Woodcock. ZRC - A Refinement Calculus for Z
    290 -- 306Eric C. R. Hehner. Formalization of Time and Space
    runs on