APA (7th ed.) Citation

(2000). SPIN model checking and software verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000 ; proceedings. Springer. https://doi.org/10.1007/10722468

Chicago Style (17th ed.) Citation

SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2000. https://doi.org/10.1007/10722468.

MLA (9th ed.) Citation

SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000 ; Proceedings. Springer, 2000. https://doi.org/10.1007/10722468.