« Back
Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 [video]
youtube.com
Submitted by todsacerdoti 20 hours ago