What is the Difference Between Proofs and Programs?

    Research output: Book/ReportCommissioned ReportResearch

    Original languageEnglish
    Place of PublicationMelbourne Vic Australia
    PublisherMonash University Publishing
    Number of pages18
    Publication statusPublished - 2005

    Cite this