2024 22ND ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE 2024 Journal

International Standard Serial Number (ISSN)

  • 1936-9492

International Standard Book Number (ISBN) 13