Ivo Nussbaumer

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Unauthorized Access

Storage Devices

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)