| |
| 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 | |
| 1 | Robin Sharp | [1] [2] [3] [5] |