• 681 Citations
19972019
If you made any changes in Pure these will be visible here soon.

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

Research output: Contribution to journalEditorialAcademicpeer-review

Security of data