Dataset - CKAN

Schematic calculi for the analysis of decision procedures

In this thesis we address problems related to the verification of software-based systems. We are mostly interested in the (safe) design of decision procedures used in...
- HTML

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