Dataset - CKAN

Static analysis of numerical properties in the presence of pointers

The fast and furious pace of change in computing technology has become an article of faith for many. The reliability of computer-based systems cru- cially depends on...
- HTML

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