Separation Logic Verification of C Programs with an SMT Solver
Matko Botincan, Matthew J. Parkinson, and Wolfram Schulte
2009
In Electr. Notes Theor. Comput. Sci.
Details
| Type | Article |
| Pages | 5-23 |
| Volume | 254 |
Related People
Share
Matko Botincan, Matthew J. Parkinson, and Wolfram Schulte
2009
In Electr. Notes Theor. Comput. Sci.
| Type | Article |
| Pages | 5-23 |
| Volume | 254 |
