A problem on bichrome 6-graphs

A.J.M. Gasteren, van

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    Samenvatting

    No abstract.
    Originele taal-2Engels
    TitelFormal development of programs and proofs
    RedacteurenE.W. Dijkstra
    Plaats van productieReading MA
    UitgeverijAddison-Wesley
    Pagina's55-57
    ISBN van geprinte versie0-201-17237-2
    StatusGepubliceerd - 1990

    Citeer dit