Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).
Chicagoスタイル(17版)引用形式Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).
MLA(8版)引用形式Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).
警告: この引用は必ずしも正確ではありません.