External Links

    Journal: Formal Methods in System Design

    Volume 6, Issue 3

    239 -- 258Anders Børjesson, Kim Guldstrand Larsen, Arne Skou. Generality in Design and Compositional Verification Using TAV
    259 -- 293Ferhat Khendek, Gregor von Bochmann. Merging Behavior Specifications
    295 -- 320Jørgen Staunstrup, Niels Mellergaard. Localized Verification of Modular Designs
    runs on