Correct Interaction Between Programs and Proofs

Iman Poernomo, John N Crossley

    Research output: Book/ReportBook

    Original languageEnglish
    Place of PublicationClayton Vic Australia
    PublisherMonash University
    Number of pages14
    Publication statusPublished - 2000

    Cite this