Dataset - CKAN

Certification of a Tool Chain for Deductive Program Verification

This thesis belongs to the domain of software verification. The goalof verifying software is to ensure that an implementation, a program,satisfies the requirements,...
- HTML

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