• 690 Citaten
19972019
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 1997 2019

Filter
Editorial
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 tijdschriftEditorialAcademicpeer review

Security of data