APA (7th ed.) Citation

(2014). Proceedings of the 2014 International SPIN Symposium on Model Checking of Software.

Chicago Style (17th ed.) Citation

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. 2014.

MLA (9th ed.) Citation

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. 2014.

Warning: These citations may not always be 100% accurate.