Model Checking Software
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Autor:
Patrick Godefroid
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
277.44
lei
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec...