Marieke Huisman(editor)
Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.
Top selling books
You may also be interested in these books written by the same author
About Marieke Huisman(editor)
Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.
Most Popular
Tools and Algorithms for the Construction and Analysis of Systems :25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
