Efficient SMT-Based Analysis of Failure Propagation

von Bozzano, Marco
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)