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.
You may also be interested in these books written by the same author
Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Powered by PUBNiTO | © 2024 Notion Wave Inc.