Filip Schramka

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 2

Top Topics

Document Repository

Unauthorized Access

Naming Conventions

Top Venues

Publications

Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer, Filip Schramka
From Verified Scala to STIX File System Embedded Code Using Stainless. NFM (2022)
Filip Schramka, Stefan Arisona, Michael Joos, Alexander Erath
Development of a Virtual Reality Cycling Simulator. J. Comput. 13 (6) (2018)