Pavlovic, D., Mislove, M., & Worrell, J. (2006). Testing semantics: Connecting processes and process logics. Springer Verlag.
Chicagoスタイル(17版)引用形式Pavlovic, D., M. Mislove, , J. Worrell. Testing Semantics: Connecting Processes and Process Logics. Springer Verlag, 2006.
MLA(9版)引用形式Pavlovic, D., et al. Testing Semantics: Connecting Processes and Process Logics. Springer Verlag, 2006.
警告: この引用は必ずしも正確ではありません.