The influence of utopian projects on the interpretation of international law and the healthy myth of objectivity

von Meier, Severin
Veröffentlicht in German yearbook of international law (2018)

Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security

von Eilers, Marco
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

<<Ein>> Stückchen Himmelblau aus den Tiroler Bergen : Gedichte

von Mair, Severin
Veröffentlicht 1902

˜Dieœ Glockenhofer : ein Volksstück in 4 Aufzügen und einem Vorspiel nach einer geschichtlichen Begebenheit

von Mair, Severin
Veröffentlicht 1926