Cita APA (7th ed.)

SPIN workshop :Portland, OR, USA, Ball, T., & Rajamani, S. K. Model checking software: 10th International SPIN workshop, Portland, OR, USA, may 9-10, 2003 : proceedings. Springer.

Cita Chicago (17th ed.)

SPIN workshop :Portland, OR, USA, Thomas Ball, i Sriram K. Rajamani. Model Checking Software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : Proceedings. Berlin [etc.]: Springer.

Cita MLA (8th ed.)

SPIN workshop :Portland, OR, USA, et al. Model Checking Software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : Proceedings. Springer.