APA引文

(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引文

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

警告：這些引文格式不一定是100％准確.