Model checking software [E-Book] : 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings / ed. by K. Havelund.
Havelund, K., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540851134
9783540851141 (e-book)
Lecture notes in computer science ; 5156
Full Text
Description not available.