Jaco Geldenhuys

J. G. · J. Geldenhuys

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings978-3-319-234O3-8
(3-319-234O3-X)
2015Bernd Fischer

Jaco Gericke