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

    Crossley, J. N. (2005). What is the Difference Between Proofs and Programs? Melbourne Vic Australia: Monash University Publishing.
    Crossley, John N. / What is the Difference Between Proofs and Programs?. Melbourne Vic Australia : Monash University Publishing, 2005. 18 p.
    @book{e741efbf087544a9a3737418cca3174a,
    title = "What is the Difference Between Proofs and Programs?",
    author = "Crossley, {John N.}",
    year = "2005",
    language = "English",
    publisher = "Monash University Publishing",

    }

    Crossley, JN 2005, What is the Difference Between Proofs and Programs? Monash University Publishing, Melbourne Vic Australia.

    What is the Difference Between Proofs and Programs? / Crossley, John N.

    Melbourne Vic Australia : Monash University Publishing, 2005. 18 p.

    Research output: Book/ReportCommissioned ReportResearch

    TY - BOOK

    T1 - What is the Difference Between Proofs and Programs?

    AU - Crossley, John N.

    PY - 2005

    Y1 - 2005

    M3 - Commissioned Report

    BT - What is the Difference Between Proofs and Programs?

    PB - Monash University Publishing

    CY - Melbourne Vic Australia

    ER -

    Crossley JN. What is the Difference Between Proofs and Programs? Melbourne Vic Australia: Monash University Publishing, 2005. 18 p.