Owolabi Legunsen, Grigore Rosu

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
Pages (from-to)v
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13255 LNCS
StatePublished - 2022
Event28th International Symposium on Model Checking Software, SPIN 2022 - Virtual, Online
Duration: May 21 2022May 21 2022

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this