DMCA

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) AutoProof Meets Some Verification Challenges

by Julian Tschannen , Carlo A. Furia , Martin Nordio