Dataset - CKAN

Static analysis by abstract interpretation of concurrent programs

This report presents the bulk of my research work from the completion of my PhD, in late 2004, until the present day. The overall aim of my research is the development...
- HTML

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