Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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

Attention : ces citations peuvent ne pas être correctes à 100%.