Auflistung nach Autor Pruiksma, Klaas
Anzeige der Treffer 2 bis 2 von 2
< zurück
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2023 | Layered symbolic security analysis in DY* | Bhargavan, Karthikeyan; Bichhawat, Abhishek; Hosseyni, Pedram; Küsters, Ralf; Pruiksma, Klaas; Schmitz, Guido; Waldmann, Clara; Würtele, Tim |