Laws of mission-based programming

Frank Zeyda, Ana Cavalcanti

Research output: Contribution to journal › Article › peer-review

89 Downloads (Pure)

Access to Document

@article{945d7b9ee65a493da5be176ab3e9d3f8,

title = "Laws of mission-based programming",

author = "Frank Zeyda and Ana Cavalcanti",

year = "2015",

month = jan,

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",

}