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

Research output: ThesisPhD Thesis - Research external, graduation external

Original languageEnglish
Awarding Institution
  • Radboud University Nijmegen
Award date1 Feb 2001
Publisher
Print ISBNs978-90-9014440-5
Publication statusPublished - 2001
Externally publishedYes

Cite this