Dataset - CKAN

Building abstract formal Specifications driven by goals

With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most...
- HTML

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