CITATION STYLE
Havelund, K., Penix, J., & Visser, W. (Eds.). (2000). {SPIN} Model Checking and Software Verification. In {SPIN} Model Checking and Software Verification (Vol. 1885). Stanford, CA: Springer-Verlag.
Mendeley helps you to discover research relevant for your work.