Search history [x]
Your search returned 2 results.
by Bobaru, Mihaela | Havelund, Klaus | Holzmann, Gerard J | Joshi, Rajeev | SpringerLink (Online service).
by Bobaru, Mihaela [editor.] | Havelund, Klaus [editor.] | Holzmann, Gerard J [editor.] | Joshi, Rajeev [editor.] | SpringerLink (Online service).
2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue