Dataset - CKAN

Semantics-Based Testing for Circus

The work presented in this thesis is a contribution to formal specification and verification methods. Formal specifications are used to describe a software, or more...
- HTML

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