Library Catalogue Plus

APA (7th ed.) Citation

International SPIN Workshop Stanford, Calif, Havelund, K., Penix, J., & Visser, W. (2000). SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.): 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International SPIN Workshop Stanford, Calif, Klaus Havelund, John Penix, and Willem Visser. SPIN Model Checking and Software Verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : Proceedings / Klaus Havelund, John Penix, Willem Visser (eds.): 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : Proceedings. Berlin ; London: Springer, 2000.

MLA (9th ed.) Citation

International SPIN Workshop Stanford, Calif, et al. SPIN Model Checking and Software Verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : Proceedings / Klaus Havelund, John Penix, Willem Visser (eds.): 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : Proceedings. Springer, 2000.