Laws of mission-based programming

Research output: Contribution to journalArticlepeer-review

Abstract


Original languageEnglish
Pages (from-to)423-472
Number of pages50
JournalFormal Aspects of Computing
Volume27
Early online date8 Jan 2015
DOIs
Publication statusPublished - Jan 2015

Keywords

  • computer science

Cite this