Zobrazeno 1 - 10
of 290
pro vyhledávání: '"FORMAL PROOFS"'
Autor:
Biskup, Joachim1
Publikováno v:
Journal of Computer Security. 2012, Vol. 20 Issue 5, p509-546. 38p.
Autor:
Hanna, Gila1 gila.hanna@utoronto.ca
Publikováno v:
PNA. 2014, Vol. 9 Issue 1, p29-39. 11p.
Autor:
Goodrich, Peter
Publikováno v:
Critical Inquiry. Winter2021, Vol. 47 Issue 2, p241-271. 31p. 9 Color Photographs, 4 Black and White Photographs, 1 Diagram, 1 Map.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
FLORIO, SALVATORE1 florio.2@osu.edu, MURZI, JULIEN2 j.murzi@sheffield.ac.uk
Publikováno v:
Analysis. Jul2009, Vol. 69 Issue 3, p461-469. 9p.
Publikováno v:
FRPT- MF Snapshot. 6/24/2023, p18-18. 2/3p.
Autor:
Moss, Daniel
Publikováno v:
Bloomberg Opinion. 4/21/2020, pN.PAG-N.PAG. 1p.
Autor:
Eberhard, Sebastian1 sebastian.eberhard84@gmail.com, Hetzl, Stefan1 stefan.hetzl@tuwien.ac.at
Publikováno v:
Information & Computation. Apr2018 Part 2, Vol. 259, p191-213. 23p.
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.