Original language | English |
---|---|
Awarding Institution |
|
Award date | 1 Feb 2001 |
Publisher | |
Print ISBNs | 978-90-9014440-5 |
Publication status | Published - 2001 |
Externally published | Yes |
Reasoning about Java programs in higher order logic using PVS and Isabelle
Research output: Thesis › PhD Thesis - Research external, graduation external
39
Downloads
(Pure)