| Original language | English |
|---|---|
| Pages (from-to) | 423-472 |
| Journal | Formal Aspects of Computing |
| Volume | 27 |
| Issue number | 2 |
| DOIs | |
| Publication status | Published - 8 Jan 2015 |
Cite this
Zeyda, F., & Cavalcanti, A. (2015). Laws of mission-based programming. Formal Aspects of Computing, 27(2), 423-472. https://doi.org/10.1007/s00165-014-0317-8
@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",
}
Zeyda, F & Cavalcanti, A 2015, 'Laws of mission-based programming', Formal Aspects of Computing, vol. 27, no. 2, pp. 423-472. https://doi.org/10.1007/s00165-014-0317-8
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 journal › Article › Research › peer-review
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 -
Zeyda F, Cavalcanti A. Laws of mission-based programming. Formal Aspects of Computing. 2015 Jan 8;27(2):423-472. https://doi.org/10.1007/s00165-014-0317-8