Steffen, B., & Levi, G. Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings. Springer.
Style de citation Chicago (17e éd.)Steffen, Bernhard, et Giorgio Levi. Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : Proceedings. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)Steffen, Bernhard, et Giorgio Levi. Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : Proceedings. Springer.
警告：這些引文格式不一定是100％准確.