WP1176 Verification in the 21st Century Plausibly Proving the Negative The Case for Normalising a General Technical Accountability Obligation (GTA0) in.
