External Links

    Journal: Formal Methods in System Design

    Volume 13, Issue 1

    5 -- 35Marina A. Waldén, Kaisa Sere. Reasoning about Action Systems using the B-Method
    37 -- 85Peter A. Beerel, Jerry R. Burch, Teresa H. Y. Meng. Checking Combinational Equivalence of Speed-Independent Circuits
    87 -- 119Manfred Broy. A Functional Rephrasing of the Assumption/Commitment Specification Style
    runs on