Dataset - CKAN

Strengthening the heart of an SMT-solver : Design and implementation of effic...

This thesis tackles the problem of automatically proving the validity of mathematical formulas generated by program verification tools. In particular, it focuses on...
- HTML

You can also access this registry using the API (see API Docs).