Dataset - CKAN

From imperative programs to equational logic for correctness verification

Omnipresence of computer systems in modern technological applications makes the question of their reliability essential. In this thesis, we investigate equational...
- HTML

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