Ensuring Correctness of Ruby Transformations

Ole Steen Rasmussen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 3rd Workshop on Designing Correct Circuits '96
    PublisherSpringer Verlag
    Publication date1996
    Publication statusPublished - 1996
    EventDesigning Correct Circuits '96 - Baastad, Sweden
    Duration: 1 Jan 1996 → …


    ConferenceDesigning Correct Circuits '96
    CityBaastad, Sweden
    Period01/01/1996 → …

    Cite this