Стиль цитування APA (7-ме видання)
Karen Yorav. Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Springer.
Чикаго стиль цитування (17-те видання)
Karen Yorav. Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Berlín, Alemania: Springer.
Стиль цитування MLA (9-ме видання)
Karen Yorav. Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Springer.
Попередження: стилі цитування не завжди правильні на всі 100%.