By the same authors

From the same journal

From the same journal

Laws of mission-based programming

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalFormal Aspects of Computing
DateE-pub ahead of print - 8 Jan 2015
DatePublished (current) - Jan 2015
Volume27
Number of pages50
Pages (from-to)423-472
Early online date8/01/15
Original languageEnglish

Abstract


    Research areas

  • computer science

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations