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.