Search Results for 'Mergetheorem1aux1'

Using Coq for Separation Logic and the need for a better ID

• ellena-manuel
• 166 Slides

Kenneth Roe. 6. /01/2015. The Johns Hopkins Unive...