Model Checking Software
de Owolabi Legunsen, Grigore Rosu
Ediciones (1)
- Model Checking Software (2022)
Springer International Publishing AG · inglés · ISBN 9783031150760
de Owolabi Legunsen, Grigore Rosu
Springer International Publishing AG · inglés · ISBN 9783031150760