Implementation-level Verification of Algorithms with Keęrn-.1emY | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

D. Bruns, Mostowski, W., and Ulbrich, M., “Implementation-level Verification of Algorithms with Keęrn-.1emY”, Software Tools for Technology Transfer, 2014.