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

  • Alex Groce ,
  • Madanlal Musuvathi

Published by Springer

Publication

Download BibTex

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