Send email Copy Email Address
Placeholder
PhD Student

Jana Hofmann

Reliable Security Guarantees

Email

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Jana Hofmann

Year 2019

2019

The Hierarchy of Hyperlogics

Conference / Medium

IEEE Symposium on Logic in Computer Science, LICS

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page