Original language | English |
---|---|
Publication date | 2001 |
Publication status | Published - 2001 |
Event | NWPT'01, The 13th Nordic Workshop on Programming Theory - Duration: 1 Jan 2001 → … Conference number: 13 |
Conference
Conference | NWPT'01, The 13th Nordic Workshop on Programming Theory |
---|---|
Number | 13 |
Period | 01/01/2001 → … |
Bibliographical note
IMM-TR-2001-12Keywords
- proof support
- RAISE
- institutions
- HOL
- RSL
- Isabelle