dblp.uni-trier.dewww.uni-trier.de

Ole Rasmussen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Robin Sharp [1] [2] [3] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)