APA(7版)引用形式
Keijiro Araki, S. G. FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings. Springer.
Chicagoスタイル(17版)引用形式
Keijiro Araki, Stefania Gnesi. FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings. Berlín, Alemania: Springer.
MLA(9版)引用形式
Keijiro Araki, Stefania Gnesi. FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings. Springer.
警告: この引用は必ずしも正確ではありません.