CORE

🇺🇦   make metadata, not war

    1 research outputs found

    Formal Verification of ASM Models Using TLA + 

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    No full text
    Crossref
    corecore