|
by Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf
Published 2023
“...This book addresses the challenging tasks of verifying and debugging structurally complex...”Published 2023
Springer International Publishing