Refinement and composition in TLA based closed system specifications

  • Reino Kurki-Suonio (Speaker)

    Activity: Talk or presentation › Conference presentation

    Period1997
    Event titleTUCS Workshop on Specification, Design, and Verification of Distributed Software, December 4-5, 1997, Data City, Turku
    Event typeConference

    Country of activity

    • United States

    Publication forum classification

    • No publication forum level