TY  - JOUR

T1  - Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885.

JO  - Softw. Test. Verification Reliab.

PY  - 2001/01/01

AU  - Hierons RM

ED  - 

VL  - 11

SP  - 197

EP  - 198

Y2  - 2024/10/23

ER  -