An Embedding of Ruby in Isabelle

Ole Steen Rasmussen

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

    Original languageEnglish
    Title of host publicationAutomated Deduction, CADE 13
    PublisherSpringer Verlag
    Publication date1996
    Publication statusPublished - 1996
    EventAutomated Deduction, CADE 13 -
    Duration: 1 Jan 1996 → …


    ConferenceAutomated Deduction, CADE 13
    Period01/01/1996 → …

    Cite this

    Rasmussen, O. S. (1996). An Embedding of Ruby in Isabelle. In Automated Deduction, CADE 13 (pp. 186-200). Springer Verlag.