Verification of Unloadable Modules.

Bart Jacobs, Jan Smans, Frank Piessens

Browse the full FM paper archive.