APA Style

FISCHER, B., GELDENHUYS, J. (2015). Model Checking Software (1). : .

MLA Style

FISCHER, Bernd., GELDENHUYS, Jaco. "Model Checking Software". 1 : , 2015. Text.