Karin Breitman, A. C. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings. Springer.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
Chicagoスタイル(17版)引用形式
Karin Breitman, Ana Cavalcanti. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio De Janeiro, Brazil, December 9-12, 2009, Proceedings. Berlín, Alemania: Springer.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
MLA(9版)引用形式
Karin Breitman, Ana Cavalcanti. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio De Janeiro, Brazil, December 9-12, 2009, Proceedings. Springer.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
警告: この引用は必ずしも正確ではありません.