Send email Copy Email Address
Placeholder
Research Assistant

Stefan Oswald

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Publications by Stefan Oswald

Year 2020

2020-10-06

Verified Rust Monitors for Lola Specifications

Conference / Medium

RV
Runtime VerificationRV 2020

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page