• 1251 Citations
  • 18 h-Index

Research output per year

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

Research Outputs

Edited Book/Anthology

Automated technology for verification and analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, proceedings

Cassez, F. (ed.) & Raskin, J-F. (ed.), 2014, Cham: Springer, Springer Nature. 430 p. (Lecture notes in computer science; vol. 8837)

Research output: Book/ReportEdited Book/Anthology