International conference on computer-aided verification :Haïfa, Israël, & Grumberg, O. Computer aided verification: 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings. Springer.
Cytowanie według stylu Chicago (wyd. 17)International conference on computer-aided verification :Haïfa, Israël, i Orna Grumberg. Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : Proceedings. Berlin [etc.]: Springer.
Cytowanie według stylu MLA (wyd. 8)International conference on computer-aided verification :Haïfa, Israël, i Orna Grumberg. Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : Proceedings. Springer.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..