Factotum: Automatic and Systematic Sharing Support for Systems Analyzers.

David James Sherman, Nicolas Magnier

Browse the full TACAS paper archive.