APA Style
Kurshan, Robert. (1993).
COMPUTER-AIDED VERIFICATION .
Norwell, Massachusetts:
Kluwer Academic Publishers.
Chicago Style
Kurshan, Robert.
COMPUTER-AIDED VERIFICATION.
Norwell, Massachusetts:
Kluwer Academic Publishers,
1993.
Text.
MLA Style
Kurshan, Robert.
COMPUTER-AIDED VERIFICATION.
Norwell, Massachusetts:
Kluwer Academic Publishers,
1993.
Text.
Turabian Style
Kurshan, Robert.
COMPUTER-AIDED VERIFICATION.
Norwell, Massachusetts:
Kluwer Academic Publishers,
1993.
Print.