APA Style
FISCHER, B., GELDENHUYS, J.
(2015).
Model Checking Software
(
1)
.
:
.
MLA Style
FISCHER, Bernd., GELDENHUYS, Jaco.
"Model Checking Software".
1
:
,
2015.
Text.