Marieke Huisman

Research output

Research output per year 1998 2013 2014 2015 2016 2017 2018 2020 2021 2024

• 111 Conference contribution
• 29 Article
• 17 Report
• 16 Chapter
• 33 More
  • 7 Book editing
  • 6 Paper
  • 5 Editorial
  • 3 Conference article
  • 3 Working paper
  • 2 Book
  • 2 Foreword/postscript
  • 1 Inaugural speech
  • 1 Comment/Letter to the editor
  • 1 Software
  • 1 PhD Thesis - Research external, graduation external
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2001

  Reasoning about Java programs in higher order logic using PVS and Isabelle

  Huisman, M., 2001, IPA. 240 p.

  Research output: Thesis › PhD Thesis - Research external, graduation external

  Open Access

  File
  36 Downloads (Pure)