• 1744 Citaties
1992 …2019

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

Filter
Editorial
Editorial

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