• 760 Citations
19972019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

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, p. 223-224 2 p.

Research output: Contribution to journalEditorialAcademicpeer-review