'
Verifiable C
Volume 5
Verifiable C
Andrew W. Appel
Qinxiang Cao
Read
Download
Version 1.0.0 (2021-04-19 12:55, Coq 8.13)
Compatible with VST 2.7 (January 2021).