Dataset - CKAN

Evaluating SDVG translation validation: from Signal to C

In this work, we describe how the preservation of value-equivalence of variables can be proved based on translation validation of synchronous data-flow value-graphs....
- HTML

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