Formale Verifikationsmethode für reale Schaltungen und Systeme. - Mohamed Denguir (2019)