• 1252 Citations
  • 18 h-Index
19952019

Research output per year

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

Research Outputs

Filter
Foreword/postscript/introduction
2014

Preface

Cassez, F. & Raskin, J-F., 1 Jan 2014, Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.). Switzerland: Springer, Springer Nature, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript/introduction