Laws of mission-based programming

Frank Zeyda, Ana Cavalcanti

    Research output: Contribution to journalArticle

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

    Cite this

    Zeyda, Frank ; Cavalcanti, Ana. / Laws of mission-based programming. In: Formal Aspects of Computing. 2015 ; Vol. 27, No. 2. pp. 423-472.
    @article{945d7b9ee65a493da5be176ab3e9d3f8,
    title = "Laws of mission-based programming",
    author = "Frank Zeyda and Ana Cavalcanti",
    year = "2015",
    month = "1",
    day = "8",
    doi = "10.1007/s00165-014-0317-8",
    language = "English",
    volume = "27",
    pages = "423--472",
    journal = "Formal Aspects of Computing",
    issn = "1433-299X",
    publisher = "Springer Verlag",
    number = "2",

    }

    Laws of mission-based programming. / Zeyda, Frank; Cavalcanti, Ana.

    In: Formal Aspects of Computing, Vol. 27, No. 2, 08.01.2015, p. 423-472.

    Research output: Contribution to journalArticle

    TY - JOUR

    T1 - Laws of mission-based programming

    AU - Zeyda, Frank

    AU - Cavalcanti, Ana

    PY - 2015/1/8

    Y1 - 2015/1/8

    U2 - 10.1007/s00165-014-0317-8

    DO - 10.1007/s00165-014-0317-8

    M3 - Article

    VL - 27

    SP - 423

    EP - 472

    JO - Formal Aspects of Computing

    JF - Formal Aspects of Computing

    SN - 1433-299X

    IS - 2

    ER -