Verification of Control Properties in the Polyhedral Model.

David Cachera, Katell Morin-Allory

Browse the full MEMOCODE paper archive.