APA Style
Beckert, Bernhard, Marche, Claude. (2011).
Formal verification of object-oriented software .
Berlin:
.
Chicago Style
Beckert, Bernhard, Marche, Claude.
Formal verification of object-oriented software.
Berlin:
,
2011.
E-Book.
MLA Style
Beckert, Bernhard, Marche, Claude.
Formal verification of object-oriented software.
Berlin:
,
2011.
E-Book.
Turabian Style
Beckert, Bernhard, Marche, Claude.
Formal verification of object-oriented software.
Berlin:
,
2011.
E-Book.