Model Checking Software – 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

  • Alex Groce ,
  • Madanlal Musuvathi

Published by Springer

公開日

BibTexをダウンロード

18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings.