Formal Methods in System Design Journal uri icon

International Standard Serial Number (ISSN)

  • 1572-8102