Laws of mission-based programming

Frank Zeyda, Ana Cavalcanti

    Research output: Contribution to journalArticle

    108 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)423-472
    JournalFormal Aspects of Computing
    Volume27
    Issue number2
    DOIs
    Publication statusPublished - 8 Jan 2015

    Cite this