Alex Groce, Madanlal Musuvathi

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
Pages (from-to)1
Number of pages1
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6823 LNCS
StatePublished - 2011
Externally publishedYes
Event18th International SPIN Workshop on Model Checking of Software, SPIN 2011 - Snowbird, United States
Duration: Jul 14 2011Jul 15 2011

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this