External Links

    Journal: Formal Asp. Comput.

    Volume 27, Issue 2

    237 -- 0Cliff B. Jones. In memoriam: Professor Heinz Zemanek (1920-2014)
    239 -- 253Pamela Zave. A practical comparison of Alloy and Spin
    255 -- 282Yongjian Li, Jun Pang. Formalizing provable anonymity in Isabelle/HOL
    283 -- 307Hugo Daniel Macedo, José Nuno Oliveira. A linear algebra approach to OLAP
    309 -- 334Gholamreza Sotudeh, Ali Movaghar. Abstraction and approximation in fuzzy temporal logics and models
    335 -- 374Amel Mammar, Marc Frappier. Proof-based verification approaches for dynamic properties: application to the information system domain
    375 -- 395Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker. Refinement in hybridised institutions
    397 -- 421Fu Song, Tayssir Touili. Model checking dynamic pushdown networks
    423 -- 472Frank Zeyda, Ana Cavalcanti. Laws of mission-based programming
    runs on