Skip to main navigation Skip to search Skip to main content

Validating Programs in Concurrent ML

  • Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationResearch Directions in Parallel Functional Programming
    PublisherSpringer London
    Publication date1999
    Pages361-378
    Publication statusPublished - 1999

    Cite this