A problem on bichrome 6-graphs

A.J.M. Gasteren, van

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Abstract

    No abstract.
    Original languageEnglish
    Title of host publicationFormal development of programs and proofs
    EditorsE.W. Dijkstra
    Place of PublicationReading MA
    PublisherAddison-Wesley
    Pages55-57
    ISBN (Print)0-201-17237-2
    Publication statusPublished - 1990

    Cite this