Ole Rasmussen

	1997
5		Robin Sharp, Ole Rasmussen: The T-Ruby Design System. Formal Methods in System Design 11(3): 239-264 (1997)
	1996
4		Ole Rasmussen: An Embedding of Ruby in Isabelle. CADE 1996: 186-200
	1995
3		Robin Sharp, Ole Rasmussen: Using a Language of Functions and Relations for VLSI Specification. FPCA 1995: 45-54
	1993
2		Robin Sharp, Ole Rasmussen: Rewriting with Constraints in T-Ruby. CHARME 1993: 226-241
1		Robin Sharp, Ole Rasmussen: Transformational Rewriting with Ruby. CHDL 1993: 243-260

Coauthor Index

1

Robin Sharp

[1] [2] [3] [5]