Formal Aspects of Computing (Journal)

Activity: Editorial work and peer review › Peer review of manuscripts › Research

Period2019 → …
Type of journalJournal
Degree of RecognitionInternational

Keywords

  • Formal Verification
  • autonomous systems
  • statistical models