Cited By
View all- Botinčan MParkinson MSchulte W(2009)Separation Logic Verification of C Programs with an SMT SolverElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.09.057254(5-23)Online publication date: 1-Oct-2009
- Tews HVölp MWeber T(2009)Formal Memory Models for the Verification of Low-Level Operating-System CodeJournal of Automated Reasoning10.1007/s10817-009-9122-042:2-4(189-227)Online publication date: 1-Apr-2009