Verification of Unloadable Modules
By
Bart Jacobs
,
Jan Smans
, and
Frank Piessens
Coq soundness proof [
sources
] [
browse
] [
index
]