Onderzoeksoutput per jaar
Onderzoeksoutput 1997 2019
2011
Preface of special issue on "Computer security : foundations and automated reasoning"
Bauer, L., Etalle, S., Hartog, den, J. I. & Viganò, L., 2011, In : Journal of Automated Reasoning. 46, 3-4, blz. 223-224 2 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Editorial › Academic › peer review
Security of data