@article{article, title  = {{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.}},

 url = {{}},

 year = {{2001}},

 month = {{1}},

 author = {{Hierons RM}},

 volume = {{11}},

 journal = {{Softw. Test. Verification Reliab.}},

 pages = {{197-198}},

 note = {{Accessed on 2024/12/22}}}