International Oxford Horn Trio
Works by A. Piazzolla, J. Brahms, F. W. Voigt, and P. Schrammel
16 September 2022, 6pm
28. 8. 2022
Cadair Idris
Snowdonia South, Wales
Paper accepted at ASE'22
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
16. 4. 2022
Tryfan and Glyders
Snowdonia, Wales
7. 1. 2022
Eisenerzer Alpen, Österreich
Computer Science

Legal Notices