Proof Support for RAISE

Morten Peter Lindegaard, Michael Reichhardt Hansen (Editor)

Research output: Contribution to conference › Poster › Research

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	NWPT'01, The 13th Nordic Workshop on Programming Theory
Number	13
Period	01/01/2001 → …

IMM-TR-2001-12

Keywords

@conference{f9e09fe90f9445b2912202d9558e9fc5,

title = "Proof Support for RAISE",

keywords = "proof support, RAISE, institutions, HOL, RSL, Isabelle",

author = "Lindegaard, {Morten Peter} and Hansen, {Michael Reichhardt}",

note = "IMM-TR-2001-12; NWPT'01, The 13th Nordic Workshop on Programming Theory, NWPT'01 ; Conference date: 01-01-2001",

year = "2001",

language = "English",

}