Jaco Geldenhuys

Books that list Jaco Geldenhuys among their authors but not as the lead author: co-written works, collections and compilations.

Model Checking SoftwareBernd Fischer

Model Checking Software

Bernd Fischer · 2015