Ensuring Correctness of Ruby Transformations

Ole Steen Rasmussen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 3rd Workshop on Designing Correct Circuits '96
Publisher	Springer Verlag
Publication date	1996
Publication status	Published - 1996
Event	Designing Correct Circuits '96 - Baastad, Sweden Duration: 1 Jan 1996 → …

OpenUrl availability

@inproceedings{087242fe1c5b422d87dc604429865226,

title = "Ensuring Correctness of Ruby Transformations",

author = "Rasmussen, {Ole Steen}",

year = "1996",

language = "English",

booktitle = "Proceedings of the 3rd Workshop on Designing Correct Circuits '96",

publisher = "Springer Verlag",

address = "Germany",

note = "Designing Correct Circuits '96 ; Conference date: 01-01-1996",

}